PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cerná, Ivana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards Verification of Ensemble-Based Component Systems.

, , , , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 41-60. Springer, (2013)

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 Cerná, Ivana
Eine Person hinzufügen mit dem Namen Cerná, Ivana
 

Weitere Publikationen von Autoren mit dem selben Namen

Formal analysis of piecewise affine systems through formula-guided refinement., , , , und . Automatica, 49 (1): 261-266 (2013)On algorithmic analysis of transcriptional regulation by LTL model checking., , , , , und . Theor. Comput. Sci., 410 (33-34): 3128-3148 (2009)Formal verification of systems with an unlimited number of components., , , und . IET Software, 2 (6): 532-546 (2008)DiVM: Model Checking with LLVM and Graph Memory., , und . CoRR, (2017)Distributed LTL Model Checking Based on Negative Cycle Detection., , , und . FSTTCS, Volume 2245 von Lecture Notes in Computer Science, Seite 96-107. Springer, (2001)Local Quantitative LTL Model Checking., , , , und . FMICS, Volume 5596 von Lecture Notes in Computer Science, Seite 53-68. Springer, (2008)Preface., und . Electron. Notes Theor. Comput. Sci., 198 (1): 1-2 (2008)Distributed Partial Order Reduction of State Spaces., , , und . Electron. Notes Theor. Comput. Sci., 128 (3): 63-74 (2005)Effective verification of systems with a dynamic number of components., , , und . SAVCBS, Seite 3-13. ACM, (2007)Quantitative Model Checking of Systems with Degradation., , und . QEST, Seite 21-30. IEEE Computer Society, (2009)