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