Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
12 Results Found Subscribe to search results
000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Formal methods applied to complex systems : implementation of the B method
      1. 
      Formal methods applied to complex systems : implementation of the B method
      by 
      Boulanger, Jean-Louis, editor.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
      2. 
      Cover image for Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking
      3. 
      Cover image for Software specification methods
      4. 
      Software specification methods
      by 
      Habrias, Henri.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Principles of cyber-physical systems
      5. 
      Principles of cyber-physical systems
      by 
      Alur, Rajeev, 1966- author.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Teamwork in multi-agent systems a formal approach
      6. 
      Teamwork in multi-agent systems a formal approach
      by 
      Dunin-Kȩplicz, Barbara.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Communicating embedded systems software and design : formal methods
      7. 
      Communicating embedded systems software and design : formal methods
      by 
      Jard, Claude.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Verification techniques for system-level design
      8. 
      Verification techniques for system-level design
      by 
      Fujita, Masahiro, 1956-
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Formal method industrial use from model to the code
      9. 
      Formal method industrial use from model to the code
      by 
      Boulanger, Jean-Louis.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Computers in language research 2
      10. 
      Computers in language research 2
      by 
      Sedelow, Walter A.
      Click to View
      Format: 
      Excerpt: 
      Formal methods (Computer science)
      Cover image for Cafe : an industrial-strength algebraic formal method
      11. 
      Cafe : an industrial-strength algebraic formal method
      by 
      Futatsugi, Kokichi.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
      Format: 
      Excerpt: 
      Formal methods (Computer science) -- Congresses.
      Cover image for Verification techniques for system-level design
      12. 
      Verification techniques for system-level design
      by 
      Fujita, Masahiro, 1956-
      ScienceDirect https://www.sciencedirect.com/science/book/9780123706164
      Format: 
      Excerpt: 
      Formal methods (Computer science)