1
Formal methods for safety and security : case studies for aerospace applications [E-Book] /
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
2
Formal methods applied to complex systems : implementation of the B method [E-Book] /
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
3
Formal method : industrial use from model to the code [E-Book] /
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
4
Teamwork in multi-agent systems : a formal approach [E-Book] /
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
5
Communicating embedded systems : software and design : formal methods [E-Book] /
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
6
Verification techniques for system-level design / [E-Book]
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
7
Software specification methods / [E-Book]
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
8
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking [E-Book] /
Subject (ZB): “...Formal methods (Computer science)...”

Full text 
Favorites
Saved in:
9
Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [E-Book] /
Subject (ZB): “...Formal methods (Computer science) Congresses....”

Full text 
Favorites
Saved in:

Narrow Search Results