Formal methods for embedded distributed systems : how to master the complexity / edited by Fabrice Kordon and Michel Lemoine.

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development 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:
Bibliographic Details
Online Access: Full Text (via Springer)
Other Authors: Kordon, Fabrice, Lemoine, Michel, 1947-
Format: eBook
Language:English
Published: Boston : Kluwer Academic, ©2004.
Subjects:

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: QA76.9.D5 F6625 2004eb
QA76.9.D5 F6625 2004eb Available