- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software

Showing 1 - 3 of 3 results

Search Results

Cover image for Transformation-based reactive systems development

Transformation-based reactive systems development

by International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
1997
Format: Book

Joyner Library - General Stacks

Call Number: QA76.54 .I54 1997

Cover image for Transformation-based reactive systems development

Transformation-based reactive systems development

by International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
1997
Format: Electronic

Location
Access Content Online

Cover image for Formal methods for real-time and probabilistic systems

Formal methods for real-time and probabilistic systems

by International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
1999
Format: Book

Joyner Library - General Stacks

Call Number: QA76.54 .I53 1999