( en | de | ru )

 

Disambiguierung von "Kugler, Hillel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesizing State-Based Object Systems from LSC Specifications.

, und . CIAA, Volume 2088 von Lecture Notes in Computer Science, Seite 1-33. Springer, (2000)

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

Specifying and executing requirements: the play-in/play-out approach., , und . OOPSLA Companion, Seite 84-85. ACM, (2002)Supporting UML-based development of embedded systems by formal techniques., , , , und . Softw. Syst. Model., 7 (2): 131-155 (2008)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)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)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)Biocharts: a visual formalism for complex biological systems, , und . Journal of The Royal Society Interface, 7 (48): 1015--1024 (06.07.2010)Synthesizing State-Based Object Systems from LSC Specifications., und . CIAA, Volume 2088 von Lecture Notes in Computer Science, Seite 1-33. Springer, (2000)