( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.

, , и . Formal Methods in Software and Systems Modeling, том 3393 из Lecture Notes in Computer Science, стр. 309-324. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hillel Salmanowitsch

Siegfried Hillel

Heinrich Hillel

Hillel Koren

Peter Kugler

 

Другие публикации лиц с тем же именем

Formal Modeling of C. elegans Development: A Scenario-Based Approach., , , , , , и . CMSB, том 2602 из Lecture Notes in Computer Science, стр. 4-20. Springer, (2003)SMT-Based Analysis of Biological Computation., , , и . NASA Formal Methods, том 7871 из Lecture Notes in Computer Science, стр. 78-92. Springer, (2013)Testing Scenario-Based Models., , и . FASE, том 4422 из Lecture Notes in Computer Science, стр. 306-320. Springer, (2007)Temporal Logic for Scenario-Based Specifications., , , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 445-460. Springer, (2005)Supporting UML-based development of embedded systems by formal techniques., , , , и . Softw. Syst. Model., 7 (2): 131-155 (2008)Specifying and executing requirements: the play-in/play-out approach., , и . OOPSLA Companion, стр. 84-85. ACM, (2002)Formal Semantics and Verification of Network-Based Biocomputation Circuits., , , , и . VMCAI, том 12597 из Lecture Notes in Computer Science, стр. 464-485. Springer, (2021)Formal Verification for Natural and Engineered Biological Systems.. FMCAD, стр. 1. IEEE, (2020)Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach., , и . Scenarios: Models, Transformations and Tools, том 3466 из Lecture Notes in Computer Science, стр. 26-42. Springer, (2003)Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains., , , , и . QEST, том 8657 из Lecture Notes in Computer Science, стр. 388-403. Springer, (2014)