( en | de | ru )

 

Disambiguierung von "Kugler, Hillel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Accelerating Smart Play-Out.

, , , und . SOFSEM, Volume 5901 von Lecture Notes in Computer Science, Seite 477-488. Springer, (2010)

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.

Hillel Salmanowitsch

Siegfried Hillel

Heinrich Hillel

Hillel Koren

Erwin Kugler

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Modeling of C. elegans Development: A Scenario-Based Approach., , , , , , und . CMSB, Volume 2602 von Lecture Notes in Computer Science, Seite 4-20. Springer, (2003)SMT-Based Analysis of Biological Computation., , , und . NASA Formal Methods, Volume 7871 von Lecture Notes in Computer Science, Seite 78-92. Springer, (2013)Testing Scenario-Based Models., , und . FASE, Volume 4422 von Lecture Notes in Computer Science, Seite 306-320. Springer, (2007)Temporal Logic for Scenario-Based Specifications., , , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 445-460. Springer, (2005)Supporting UML-based development of embedded systems by formal techniques., , , , und . Softw. Syst. Model., 7 (2): 131-155 (2008)Specifying and executing requirements: the play-in/play-out approach., , und . OOPSLA Companion, Seite 84-85. ACM, (2002)Formal Verification for Natural and Engineered Biological Systems.. FMCAD, Seite 1. IEEE, (2020)Formal Semantics and Verification of Network-Based Biocomputation Circuits., , , , und . VMCAI, Volume 12597 von Lecture Notes in Computer Science, Seite 464-485. Springer, (2021)Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains., , , , und . QEST, Volume 8657 von Lecture Notes in Computer Science, Seite 388-403. Springer, (2014)Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool., , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 414-428. Springer, (2005)