Enabling Program from A/N WS
Type-safe languages
Modelling and Verification
Testing
Validation and Certification
Constraint-based systems
O/S concurrency control
Security and authorisation techniques
Management of active systems
Previous slide
Next slide
Back to first slide
View graphic version