Godefroid, Patrice. - ECU Libraries Catalog

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

Did you mean: godefroi or godefroy

Start Over

You searched for: author Godefroid, Patrice.

Showing 1 - 5 of 5 results

Search Results

Cover image for Partial-order methods for the verification of concurrent systems

Partial-order methods for the verification of concurrent systems

by Godefroid, Patrice
1996
Format: Electronic

Location
Access Content Online

Cover image for Partial-order methods for the verification of concurrent systems

Partial-order methods for the verification of concurrent systems

by Godefroid, Patrice
1996
Format: Book

Joyner Library - General Stacks

Call Number: QA76.58 .G63 1996

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2005
Format: Book

Joyner Library - General Stacks

Call Number: QA76.76.V47 I58 2005

Cover image for Model checking software

Model checking software

by International SPIN Workshop
2005
Format: Electronic

Location
Access Content Online

Cover image for Dependable software systems engineering

Dependable software systems engineering

by NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems
2016
Format: Electronic

Location
Access Content Online