Formal methods in system design.
Saved in:
Publication history: | Began with v. 1, no. 1 (July 1992). |
---|---|
Language: | English |
Notes: | Refereed/Peer-reviewed |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
Published: (c2008.) -
Formal Verification of Control System Software / / Pierre-Loïc Garoche.
by: Garoche, Pierre-Loïc,
Published: ([2019]) -
Formal methods applied to complex systems : : implementation of the B method / / edited by Jean-Louis Boulanger.
Published: (2014.) -
Formal methods for safety and security : : case studies for aerospace applications / / Manju Nanda, Yogananda Jeppu, editors.
Published: (2018.) -
The B language and method : : a guide to practical formal development / / K. Lano.
by: Lano, K.,
Published: ([1996])