1) Formal methods for safety and security: case studies for aerospace applications

Publisher
Springer
Pub. Date
2018.
Language
English

2) Software specification methods

Publisher
ISTE Ltd
Pub. Date
2006
Language
English

3) Formal methods in architecture and urbanism

Publisher
Cambridge Scholars Publishing
Pub. Date
2018.
Language
English

4) Formal methods applied to complex systems: implementation of the B method

Series
Computer engineering
Publisher
iSTE
Pub. Date
2014.
Language
English

5) Teamwork in multi-agent systems: a formal approach

Author
Dunin-Kȩplicz, Barbara
Publisher
John Wiley
Pub. Date
2010
Language
English

7) Computers in language research: 2

Publisher
Mouton Publishers
Pub. Date
c1983
Language
English

9) Formal method: industrial use from model to the code

Series
Industrial implementation of formal methods
Publisher
Wiley
Pub. Date
2012
Language
English

10) Verification techniques for system-level design

Author
Fujita, Masahiro
Series
Morgan Kaufmann series in systems on silicon
Publisher
Morgan Kaufmann Publishers
Pub. Date
c2008
Language
English

11) Principles of cyber-physical systems

Author
Alur, Rajeev
Publisher
The MIT Press
Pub. Date
2015.
Language
English

12) Communicating embedded systems: software and design : formal methods

Publisher
Wiley
Pub. Date
2010
Language
English

13) Practical UML statecharts in C/C++: event-driven programming for embedded systems

Author
Samek, Miro
Publisher
Newnes
Pub. Date
2009.
Language
English
Description
Read Description

Didn't find it?

Can't find what you are looking for? Suggest a purchase or request to borrow from another library outside of the Yavapai Library Network via inter-library loan (ILL). Suggest a purchase or ILL