There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 6

Record: found
Abstract: not found
Conference Proceedings: not found

From UML sequence diagrams and statecharts to analysable petri net models

José Merseguer, Susanna Donatelli, Simona Bernardi (2002)

0 comments Cited 5 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Anders Ravn, Jiří Srba, Saleem Vighio (2010)

0 comments Cited 4 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Jagadish Suryadevara, Cristina Seceleanu, Frédéric Mallet … (2013)

0 comments Cited 2 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 430-445

DOI: 10.1007/978-3-319-11737-9_28

SO-VID: 2e1b3ae4-fe16-426b-a733-f332eec0acc4

History

Data availability:

Formal Throughput and Response Time Analysis of MARTE Models

Read this book at

Related collections

Exponential Random Graph Models

Most cited references 6

From UML sequence diagrams and statecharts to analysable petri net models

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,647