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

Formal Methods and Software Engineering 

Synchronous AADL and Its Formal Analysis in Real-Time Maude

other

Author(s): Kyungmin Bae , Peter Csaba Ölveczky , Abdullah Al-Nayeem , José Meseguer

Publication date (Print): 2011

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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 14

Record: found
Abstract: not found
Article: not found

The time-triggered architecture

H. Kopetz, G. Bauer (2003)

0 comments Cited 30 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Semantics and pragmatics of Real-Time Maude

Peter Ölveczky, José Meseguer (2007)

0 comments Cited 20 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

All About Maude - A High-Performance Logical Framework

M Clavel, M. Clavel (2007)

0 comments Cited 12 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2011

Pages: 651-667

DOI: 10.1007/978-3-642-24559-6_43

SO-VID: bb39ac49-cd8c-4eb1-9814-0c9b8e8437bb

History

Data availability:

Synchronous AADL and Its Formal Analysis in Real-Time Maude

Read this book at

Related collections

Software for SAXS correction and analysis

Most cited references 14

The time-triggered architecture

Semantics and pragmatics of Real-Time Maude

All About Maude - A High-Performance Logical Framework

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,780

Cited by 2