PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vinárek, Jirí"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems.

, und . FESCA@ETAPS, Volume 205 von EPTCS, Seite 59-68. (2016)

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 Vinárek, Jirí
Eine Person hinzufügen mit dem Namen Vinárek, Jirí
 

Weitere Publikationen von Autoren mit dem selben Namen

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases., , , , und . EUROMICRO-SEAA, Seite 241-244. IEEE Computer Society, (2015)Recovering Traceability Links Between Code and Specification Through Domain Model Extraction., , , und . EOMAS@CAiSE, Volume 191 von Lecture Notes in Business Information Processing, Seite 187-201. Springer, (2014)Simultaneous representations of groups.. Discrete Mathematics, 108 (1-3): 211-216 (1992)Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems., und . FESCA@ETAPS, Volume 205 von EPTCS, Seite 59-68. (2016)Extensions of Symmetric Hom-Functors to the Kleisli Category.. FCT, Volume 117 von Lecture Notes in Computer Science, Seite 394-399. Springer, (1981)Verification of Use-Cases with FOAM Tool in Context of Cloud Providers., , und . EUROMICRO-SEAA, Seite 151-158. IEEE Computer Society, (2015)Dynamic Security Specification Through Autonomic Component Ensembles., , , , , und . ISoLA (3), Volume 11246 von Lecture Notes in Computer Science, Seite 172-185. Springer, (2018)