( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
STATEMATE; A Working Environment for the Development of Complex Reactive Systems.

, , , , , , и . ICSE, стр. 396-406. IEEE Computer Society, (1988)

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.

Manutschehr Amirfeyz

Iradj Amirzadeh-Asl

Mahmud Amirian-Khaffadjeh

Belal Amireh

Mansoor Anwer Ismail Amir

 

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

Formal Modeling of C. elegans Development: A Scenario-Based Approach., , , , , , и . CMSB, том 2602 из Lecture Notes in Computer Science, стр. 4-20. Springer, (2003)On the Development of Reactive Systems., и . Logics and Models of Concurrent Systems, том 13 из NATO ASI Series, стр. 477-498. Springer, (1984)Program analysis for compiler validation., и . PASTE, стр. 1-7. ACM, (2008)Verification of Multiprocess Probabilistic Protocols., и . PODC, стр. 12-27. ACM, (1984)Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL., , и . POPL, стр. 347-360. ACM Press, (1982)Temporal Logic for Scenario-Based Specifications., , , , и . TACAS, том 3440 из Lecture Notes in Computer Science, стр. 445-460. Springer, (2005)A Comparison of Two Verification Methods for Speculative Instruction Execution., и . TACAS, том 1785 из Lecture Notes in Computer Science, стр. 487-502. Springer, (2000)Liveness with Incomprehensible Ranking., , , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 482-496. Springer, (2004)Bridging the Gap between Fair Simulation and Trace Inclusion., , и . CAV, том 2725 из Lecture Notes in Computer Science, стр. 381-393. Springer, (2003)A Decision Algorithm for Full Propositional Temporal Logic., , , и . CAV, том 697 из Lecture Notes in Computer Science, стр. 97-109. Springer, (1993)