Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (3)
Auteur
- Basin, David (2)
- Abrial, Jean-Raymond (1)
- Fürst, Andreas (1)
- Hoang, Thai (1)
- Kuruma, Hironobu (1)
- Miyazaki, Kunihiko (1)
- Mödersheim, Sebastian (1)
- Takaragi, Kazuo (1)
- Viganò, Luca (1)
- Wolff, Burkhart (1)
Domaine
Mot clé
- Formal methods (3)
- Model checking (2)
- Case study (1)
- Comparison (1)
- Constraints (1)
- Design patterns (1)
- Event-B (1)
- Formal modelling (1)
- Model reuse (1)
- Security (1)
- Security protocols (1)
- Theorem proving (1)
- Verification (1) Plus Moins