( en | de | ru )

 

Disambiguierung von "Sery, Ondrej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Making Components Fit: SPINing.

, , und . SEW, Seite 65-74. IEEE Computer Society, (2008)

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.

Ondrej Burkacky

Ondrej Kuncar

Ondrej Vorisek

Ondrej Zofka

Ondrej Rypacek

 

Weitere Publikationen von Autoren mit dem selben Namen

Interpolation-Based Function Summaries in Bounded Model Checking., , und . Haifa Verification Conference, Volume 7261 von Lecture Notes in Computer Science, Seite 160-175. Springer, (2011)CoCoME in Fractal., , , , , , , , , und 1 andere Autor(en). CoCoME, Volume 5153 von Lecture Notes in Computer Science, Seite 357-387. Springer, (2007)On Teaching Formal Methods: Behavior Models and Code Analysis., , und . TFM, Volume 5846 von Lecture Notes in Computer Science, Seite 144-157. Springer, (2009)eVolCheck: Incremental Upgrade Checker for C., , und . TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 292-307. Springer, (2013)GAL: Towards Large Simulations with Tens of Agents., , , und . IVA, Volume 3661 von Lecture Notes in Computer Science, Seite 493. Springer, (2005)Making Components Fit: SPINing., , und . SEW, Seite 65-74. IEEE Computer Society, (2008)TBP: Code-Oriented Component Behavior Specification., , und . SEW, Seite 75-83. IEEE Computer Society, (2008)Level-of-Detail in Behaviour of Virtual Humans., , , und . SOFSEM, Volume 3831 von Lecture Notes in Computer Science, Seite 565-574. Springer, (2006)Leveraging Interpolant Strength in Model Checking., , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 193-209. Springer, (2012)Modes in component behavior specification via EBP and their application in product lines., , und . Inf. Softw. Technol., 51 (1): 31-41 (2009)