Formal Methods for Embedded Distributed Systems How to master the complexity / edited by Fabrice Kordon, Michel Lemoine.
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is...
Full description
Saved in: