( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Verification of a Third Generation Mobile Communication Protocol.

, и . ICDCS Workshop on Distributed System Validation and Verification, стр. E118-E125. (2000)

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.

Heikki Leppänen

Fatih Sari

Sari Kusumawaty

Sari Lakkis

Marc Sari

 

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

Compositional Verification of a Third Generation Mobile Communication Protocol., и . ICDCS Workshop on Distributed System Validation and Verification, стр. E118-E125. (2000)Formal Service-Oriented Development of Fault Tolerant Communicating Systems., , , , и . RODIN Book, том 4157 из Lecture Notes in Computer Science, стр. 261-287. Springer, (2006)Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets., , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 178-193. Springer, (2002)A Case Study: Applying Lyra in Modeling S60 Camera Functionality., , , , , и . ECBS, стр. 25-36. IEEE Computer Society, (2007)Application Driven Methodology for Development of Communicating Systems., , и . FDL, стр. 192-204. ECSI, (2004)Formal Model-Driven Development of Communicating Systems., , , , и . ICFEM, том 3785 из Lecture Notes in Computer Science, стр. 188-203. Springer, (2005)Workflow Automation for System Architecting., , и . ENASE, стр. 39-46. INSTICC Press, (2008)Modeling the SpaceWire Architecture with Lyra., , и . ACSD, стр. 15-24. IEEE Computer Society, (2005)Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols., , , и . ISoLA, стр. 425-432. IEEE Computer Society, (2006)Exploration Testing., и . ACSD, стр. 201-210. IEEE Computer Society, (2001)