Formal modeling and analysis of timed systems by Jean-Francois Raskin | Menrva Books

Discover

Goodreads Alternative

StoryGraph Alternative

Book Tracking App

Reading Tracker

Company

Why Menrva Books

Help & Support

Browse

© 2026 Menrva Books

All Rights Reserved.

Privacy Policy·Terms of Use

Formal modeling and analysis of timed systems by Jean-Francois Raskin | Menrva Books

Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems

Jean-Francois Raskin

0

0

Author Description

null

Page Count:
368

Publication Date:
2007-01-01

ISBN-10:
3540754539

ISBN-13:
9783540754534

Science

Community Tags

Similar Books

The basic symbols of the American political tradition

The Asian financial crisis

Malaria Control on Impounded Water

Causality and Causal Modelling in the Social Sciences

Fichte lecteur de Machiavel

Behave

Save Buk: PNG Upper Secondary - Chemistry, Grade 11

I believe in zero

The Branches of U.S. Government

Research required to support comprehensive nuclear test ban treaty monitoring

Science policy and research management in the Balkan countries

Harnessing Science and Technology for America's Economic Future

Toxic Cocktail

Forgiveness and power in the age of atrocity

Kenya African nationalism

See All

Reader Comments

Share Your Thoughts

Be constructive and respectful

No comments yet. Be the first to share your thoughts!