Affiner les résultats
Institution
Collection spécifique
Langue
- Anglais (3)
Auteur
- Wolff, Burkhart (2)
- Basin, David (1)
- Brucker, Achim D. (1)
- Frank, Mario (1)
- Hamprecht, Fred (1)
- Kuruma, Hironobu (1)
- Miyazaki, Kunihiko (1)
- Takaragi, Kazuo (1)
Domaine
Mot clé
- Security (3)
- 3D camera (1)
- Case study (1)
- Comparison (1)
- Formal methods (1)
- Model checking (1)
- Monitoring (1)
- Novelty detection (1)
- POSIX (1)
- Refinement (1)
- Robot (1)
- TOF (1)
- Theorem proving (1)
- Verification (1)
- Z (1) Plus Moins