( en | de | ru )

 

Disambiguierung von "Cerná, Ivana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Component-interaction automata as a verification-oriented component-based system specification.

, , , und . SAVCBS@ESEC/FSE, Seite 4. ACM, (2005)

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.

Algis Ivanauskas

Grigore Cernaianu

Johann Ivanauskas

Sylvia Cernakova

Raquel Cerna Lopez

 

Weitere Publikationen von Autoren mit dem selben Namen

Local Quantitative LTL Model Checking., , , , und . FMICS, Volume 5596 von Lecture Notes in Computer Science, Seite 53-68. Springer, (2008)A Case Study in Parallel Verification of Component-Based Systems., , , , und . PDMC@ETAPS, Volume 220 von Electronic Notes in Theoretical Computer Science, Seite 67-83. Elsevier, (2008)Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games., , , , , und . CoRR, (2014)LTL Model Checking of Parametric Timed Automata., , , , und . CoRR, (2014)Temporal logic motion planning using POMDPs with parity objectives: case study paper., , , , , , und . HSCC, Seite 233-238. ACM, (2015)Factorization for Component-Interaction Automata., , und . SOFSEM, Volume 7147 von Lecture Notes in Computer Science, Seite 554-565. Springer, (2012)Quantitative Model Checking of Systems with Degradation., , und . QEST, Seite 21-30. IEEE Computer Society, (2009)ProbDiVinE: A Parallel Qualitative LTL Model Checker., , , , und . QEST, Seite 215-216. IEEE Computer Society, (2007)Partial Order Reduction for State/Event LTL., , , , , und . IFM, Volume 5423 von Lecture Notes in Computer Science, Seite 307-321. Springer, (2009)Distributed Negative Cycle Detection Algorithms., , und . PARCO, Volume 13 von Advances in Parallel Computing, Seite 297-304. Elsevier, (2003)