( en | de | ru )

 

Disambiguation of "Leppänen, Sari"

Author of the publication

copydeleteadd this publication to your clipboard
Exploration Testing.

, and . ACSD, page 201-210. IEEE Computer Society, (2001)

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. You can also use the button next to the name to display some publications already assigned to the person.

Heikki Leppänen

Fatih Sari

Sari Kusumawaty

Sari Lakkis

Marc Sari

 

Other publications of authors with the same name

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