"Zeitbehafteter Automat+Formale Methode.+Kongress." - 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: subject "Zeitbehafteter Automat+Formale Methode.+Kongress."

Showing 1 - 2 of 2 results

Search Results

Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

by ATVA 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems

by FORMATS 2009
2009
Format: Electronic

Location
Access Content Online