( en | de | ru )

 

Disambiguierung von "Park, Sachoun"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of UML 2.0 Sequence Diagram.

, , und . SEKE, Seite 411-416. Knowledge Systems Institute Graduate School, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sungjune Park

Jinhyung Park

Kwan Park

Shinja Park

June Park

 

Weitere Publikationen von Autoren mit dem selben Namen

A 1/1.57-inch 50Mpixel CMOS Image Sensor With 1.0μm All-Directional Dual Pixel by 0.5μm-Pitch Full-Depth Deep-Trench Isolation Technology., , , , , , , , , und 12 andere Autor(en). ISSCC, Seite 102-104. IEEE, (2022)SAT based Verification Tool for Labeled Transition System., und . SERA, Seite 221-226. IEEE Computer Society, (2007)Formal Verification of UML 2.0 Sequence Diagram., , und . SEKE, Seite 411-416. Knowledge Systems Institute Graduate School, (2010)Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA., und . FCC, Volume 301 von Lecture Notes in Electrical Engineering, Seite 415-421. Springer, (2014)Verification of UML-Based Security Policy Model., und . ICCSA (3), Volume 3482 von Lecture Notes in Computer Science, Seite 973-982. Springer, (2005)Using Boolean Cardinality Constraint for LTS Bounded Model Checking., und . SEKE, Seite 537-542. Knowledge Systems Institute Graduate School, (2008)Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model., und . ICCSA (5), Volume 3984 von Lecture Notes in Computer Science, Seite 905-911. Springer, (2006)Applying Lightweight Formal Approach to Automatic Configuration Inspection., und . SEKE, Seite 107-110. Knowledge Systems Institute Graduate School, (2011)Japanese Puzzle as a SAT Problem., und . SEKE, Seite 543-548. Knowledge Systems Institute Graduate School, (2008)OCL Evaluation on AUTOSAR Model., , , und . SEKE, Seite 645-648. Knowledge Systems Institute Graduate School, (2010)