Formal Methods for Embedded Distributed Systems How to master the complexity /
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...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Electronic |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
2004.
|
| Subjects: | |
| Online Access: | View fulltext via EzAccess |