Model-Based Testing and Validation with Reactis.
Reactis automatically generates high-quality test data from Simulink and Stateflow models, checks user-specified requirements on models, and supports the interactive analysis of model behavior.
Details
- Publication Date
- Jun 18, 2004
- Language
- English
- ISBN
- 9781411620063
- Category
- Engineering
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Reactive Systems
Specifications
- Pages
- 326
- Binding
- Perfect Bound
- Interior Color
- Black & White
- Dimensions
- US Letter (8.5 x 11 in / 216 x 279 mm)