Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000000000000000DEFAULT
Print
1. 
Cover image for Formal methods applied to complex systems : implementation of the B Method
Formal methods applied to complex systems : implementation of the B Method
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342119.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119002727
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal methods applied to industrial complex systems
Formal methods applied to industrial complex systems
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342122.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119004707
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Formal methods for industrial critical systems a survey of applications
Formal methods for industrial critical systems a survey of applications
Author 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
Author 
FOIS (Conference) (7th : 2012 : Graz, Austria) Donnelly, Maureen. Guizzardi, Giancarlo. IOS Press.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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:
7. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digital system verification a combined formal methods and simulation framework
Digital system verification a combined formal methods and simulation framework
Author 
Li, Lun, 1970- Thornton, Mitchell Aaron.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Process algebra for parallel and distributed processing
Process algebra for parallel and distributed processing
Author 
Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
Cover image for Verification techniques for system-level design
Verification techniques for system-level design
Author 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
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:
14. 
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:
15. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Dynamic logic
Dynamic logic
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Availability 
Online Library~1
Available:
Copies: