( en | de | ru )

 

Disambiguierung von "Bang, Ki-Seok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SSR : Statechart with shared resources.

, , und . HCC, Seite 198-200. IEEE Computer Society, (2003)

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.

In-Deok Seok

Joon-Weon Seok

Holger Bang

Renate Bang

Claudia Bang

 

Weitere Publikationen von Autoren mit dem selben Namen

Equivalence Checking of Two Statechart Specifications., , , und . IEEE International Workshop on Rapid System Prototyping, Seite 46-51. IEEE Computer Society, (2000)Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems., , , und . J. Res. Pract. Inf. Technol., (2014)SSR : Statechart with shared resources., , und . HCC, Seite 198-200. IEEE Computer Society, (2003)A Secure Handover Protocol Design in Wireless Networks with Formal Verification., , , und . WWIC, Volume 4517 von Lecture Notes in Computer Science, Seite 67-78. Springer, (2007)A Fast and Efficient Authentication Protocol for a Seamless Handover between a WLAN and WiBro., , , und . COMSWARE, IEEE, (2007)Formal Specification and Verification of Embedded System with Shared Resources., , und . IEEE International Workshop on Rapid System Prototyping, Seite 8-14. IEEE Computer Society, (2004)Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach., , , , und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 170-186. Springer, (2002)