- 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 Graf, Susanne

Showing 1 - 8 of 8 results

Search Results

Cover image for Real Time and Such

Real Time and Such

by Graf, Susanne
2025
1st ed.
Format: Electronic

Location
Access Content Online

Cover image for Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June

by Graf, Susanne
2015
Format: Electronic

Location
Access Content Online

Cover image for Models, Mindsets, Meta

Models, Mindsets, Meta

by Margaria, Tiziana
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

by ATVA 2006
2006
Format: Electronic

Location
Access Content Online

Cover image for Automated technology for verification and analysis

Automated technology for verification and analysis

by ATVA (Symposium)
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.A96 A82 2006	✔ Available

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2004
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS 2000
2000
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS 2000
2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.9.S88 T33 2000	✔ Available