Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for Industrial used of formal method formal verification
Industrial used of formal method formal verification
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Teamwork in multi-agent systems a formal approach
Teamwork in multi-agent systems a formal approach
Author 
Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470665237
http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Practical UML statecharts in C/C++ event-driven programming for embedded systems
Practical UML statecharts in C/C++ event-driven programming for embedded systems
Author 
Samek, Miro.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Modeling and verification of real-time systems formalisms and software tools
Modeling and verification of real-time systems formalisms and software tools
Author 
Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Author 
Drusinsky, Doron.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Software specification methods
Software specification methods
Author 
Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html
John Wiley http://dx.doi.org/10.1002/9780470612514
Format: 
Availability 
Online Library~1
Available:
Copies: