Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (2)
Auteur
- Wolff, Burkhart (2)
- Basin, David (1)
- Brucker, Achim D. (1)
- Kuruma, Hironobu (1)
- Miyazaki, Kunihiko (1)
- Takaragi, Kazuo (1)
Domaine
Mot clé
- Security (2)
- Case study (1)
- Comparison (1)
- Formal methods (1)
- Model checking (1)
- POSIX (1)
- Refinement (1)
- Theorem proving (1)
- Verification (1)
- Z (1)