"Model Checking+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 "Model Checking+Kongress."

Showing 1 - 9 of 9 results

Search Results

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2009
Format: Electronic

Location
Access Content Online

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 Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence

by MoChArt 2008
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal methods

Formal methods

by Brazilian Symposium on Formal Methods
2009
Format: Electronic

Location
Access Content Online

Cover image for Testing of software and communication systems

Testing of software and communication systems

by IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal methods and software engineering

Formal methods and software engineering

by International Conference on Formal Engineering Methods
2009
Format: Electronic

Location
Access Content Online

Cover image for Theoretical aspects of computing -- ICTAC 2009

Theoretical aspects of computing -- ICTAC 2009

by ICTAC 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

Cover image for Formal methods for industrial critical systems

Formal methods for industrial critical systems

by International Workshop on Formal Methods for Industrial Critical Systems
2009
Format: Electronic

Location
Access Content Online