Subjects : Input language
Type | Year | Title | Cited | Download |
---|---|---|---|---|
Conference | 2010 | Formal Verification of UML 2.0 Sequence Diagram Sachoun Park International Conference on Software Engineering and Knowledge Engineering (SEKE) 2010, pp.1-6 |
Status | Year | Patent Name | Country | Family Pat. | KIPRIS |
---|---|---|---|---|---|
No search results. |
Type | Year | Research Project | Primary Investigator | Download |
---|---|---|---|---|
No search results. |