- ECU Libraries Catalog

Start Over

You searched for: author_facet Grumberg, Orna

Showing 1 - 9 of 9 results

Search Results

Cover image for Software systems safety

Software systems safety

by NATO Advanced Study Institute on Software Systems Safety
2014
Format: Electronic

Location
Access Content Online

Cover image for Software safety and security

Software safety and security

by NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security
2012
Format: Electronic

Location
Access Content Online

Cover image for Languages: from Formal to Natural

Languages: from Formal to Natural

by Grumberg, Orna
2009
Format: Electronic

Location
Access Content Online

Cover image for Formal logical methods for system security and correctness

Formal logical methods for system security and correctness

by NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness
2008
Format: Electronic

Location
Access Content Online

Cover image for 25 years of model checking

25 years of model checking

2008
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 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for Model checking

Model checking

by Clarke, Edmund M.
1999
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C553 1999	✔ Available

Cover image for Model checking

Model checking

by Clarke, Edmund M.
1999
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 C38 1997	✔ Available