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...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Other Authors: | , |
Format: | eBook |
Language: | English |
Published: |
Boston :
Kluwer Academic,
©2004.
|
Subjects: |
Internet
Full Text (via Springer)Online
Call Number: |
QA76.9.D5 F6625 2004eb
|
---|---|
QA76.9.D5 F6625 2004eb | Available |