Formal Modeling and Analysis of Timed Systems: 4th International Conference, Formats 2006, Paris, France, September 25-27, 2006, Proceedings by

Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems: 4th International Conference, Formats 2006, Paris, France, September 25-27, 2006, Proceedings

369 pages paperback

2 editions

nonfiction computer science science
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the st...

Show More

Community Reviews

Loading...

Content Warnings

Loading...