Alur, Rajeev, 1966- - 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 Alur, Rajeev, 1966-

Showing 1 - 10 of 12 results

Search Results

Cover image for Computer Aided Verification

Computer Aided Verification

by Alur, Rajeev
2004
Format: Electronic

Location
Access Content Online

Cover image for Embedded software

Embedded software

by EMSOFT (Conference)
2003
Format: Electronic

Location
Access Content Online

Cover image for Embedded software

Embedded software

by EMSOFT (Conference)
2003
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.D47 E47 2003	✔ Available

Cover image for Verification and control of hybrid systems

Verification and control of hybrid systems

by Tabuada, Paulo
2009
Format: Electronic

Location
Access Content Online

Cover image for Hybrid systems III

Hybrid systems III

1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.38 .H94 1996	✔ Available

Cover image for Hybrid systems III

Hybrid systems III

1996
Format: Electronic

Location
Access Content Online

Cover image for Hybrid systems

Hybrid systems

by HSCC (Conference)
2004
Format: Electronic

Location
Access Content Online

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
2004
Format: Book

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

Cover image for Computer aided verification

Computer aided verification

by CAV (Conference)
1996
Format: Book

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

Cover image for Judgments, decisions, and public policy

Judgments, decisions, and public policy

2002
Format: Book

Location
Access Content Online