Tallenna
UML-B Specification for Proven Embedded Systems Design
sidottu, 1899
englanti
The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components.
- Toimittaja
- Jean Mermet
- Painos
- 2004 ed.
- ISBN
- 9781402028663
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 31.12.1899
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 300
