The following pages link to (Q4471921):
Displaying 5 items.
- Object oriented concepts identification from formal \(B\) specifications (Q883142) (← links)
- Test generation from event system abstractions to cover their states and transitions (Q2216864) (← links)
- Formal specification method for systems automation (Q2512041) (← links)
- Association of Under-Approximation Techniques for Generating Tests from Models (Q3012965) (← links)
- (Q3350779) (← links)