PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hooman, Jozef"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalability Analysis of Cloud-Based Distributed Simulations of IoT Systems Using HLA.

, und . ICPADS, Seite 1075-1080. IEEE, (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

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