Spar
UML-B Specification for Proven Embedded Systems Design
innbundet, 1899
Engelsk
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.
- Redaktør
- Jean Mermet
- Opplag
- 2004 ed.
- ISBN
- 9781402028663
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 31.12.1899
- Antall sider
- 300
