PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hooman, Jozef"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Building Distributed Co-Simulations Using CoHLA.

, , und . DSD, Seite 342-346. IEEE Computer Society, (2018)

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.

Keine Personen gefunden für den Autorennamen Hooman, Jozef
Eine Person hinzufügen mit dem Namen Hooman, Jozef
 

Weitere Publikationen von Autoren mit dem selben Namen

An Approach to Platform Independent Real-Time Programming: (2) Practical Application., und . Real-Time Systems, 19 (1): 87-112 (2000)Formal Design of Real-Time Systems in a Platform-Independent Way., und . Scalable Computing: Practice and Experience, (1998)Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations., , und . CoRR, (2015)A Survey: Applying Formal Methods to a Software Intensive System., , , , , , , , und . HASE, Seite 55-64. IEEE Computer Society, (2001)Semantic models of a timed distributed dataspace architecture., und . Theor. Comput. Sci., 331 (2-3): 291-323 (2005)CoHLA: Design space exploration and co-simulation made easy., , , und . ICPS, Seite 225-231. IEEE, (2018)Deductive Verification of UML Models in TLPVS., , , , und . UML, Volume 3273 von Lecture Notes in Computer Science, Seite 335-349. Springer, (2004)Integrating methods for the design of real-time systems., und . Journal of Systems Architecture, 42 (6-7): 489-502 (1996)Correct Development of Embedded Systems., und . EWSA, Volume 3047 von Lecture Notes in Computer Science, Seite 241-249. Springer, (2004)Industrial Application of Formal Models Generated from Domain Specific Languages.. Theory and Practice of Formal Methods, Volume 9660 von Lecture Notes in Computer Science, Seite 277-293. Springer, (2016)