Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (2)
Auteur
Mot clé
- Reliability (2)
- Software design (2)
- Code generation (1)
- Constraint checking (1)
- Fault tolerance (1)
- Modeling (1)
- Runtime verification (1)
- Self-healing (1)
- Software engineering (1)