Limit Search Results
Author
Language
Publication Date
-
Subject
Formal methods (Computer science)
(14)
B method (Computer science)
(2)
Computer software -- Development.
(2)
Computer software -- Verification.
(2)
Electronic books.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
000000000000DEFAULT
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 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:
4. 
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:
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 Computers in Language Research. (II), Computers in Language Research 2 ; Part I: Formalization in Literary and Discourse Analysis. Part II: Notating the Language of Music, and the (Pause) Rhythms of Speech
Computers in Language Research. (II), Computers in Language Research 2 ; Part I: Formalization in Literary and Discourse Analysis. Part II: Notating the Language of Music, and the (Pause) Rhythms of Speech
Author 
BRUCE, BERTRAM, contributor. ERICKSON, RAYMOND, contributor. KOWAL, SABINE, contributor. O\x27CONNELL, DANIEL C., contributor. SEDELOW, SALLY YEATES, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110823349
https://www.degruyter.com/isbn/9783110823349
Cover https://www.degruyter.com/document/cover/isbn/9783110823349/original
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 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:
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 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:
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: