Affiner les résultats
Type de document
Institution
Collection spécifique
Auteur
-
Basin, David (7)
- Viganò, Luca (4)
- Caleiro, Carlos (2)
- Armando, Alessandro (1)
- Cuellar, Jorge (1)
- Klaedtke, Felix (1)
- Kuruma, Hironobu (1)
- Marinovic, Srdjan (1)
- Miyazaki, Kunihiko (1)
- Mödersheim, Sebastian (1)
- Näf, Michael (1)
- Ramos, Jaime (1)
- Rusinowitch, Michaël (1)
- Takaragi, Kazuo (1)
- Wolff, Burkhart (1)
- Zălinescu, Eugen (1) Plus Moins
Mot clé
- Formal methods (2)
- Model checking (2)
- Security protocols (2)
- Aggregation operators (1)
- Case study (1)
- Comparison (1)
- Constraints (1)
- Distributed temporal logic (1)
- Monitoring (1)
- Original Articles (1)
- Runtime verification (1)
- Security (1)
- System compliance (1)
- Temporal logic (1)
- Theorem proving (1)
- Verification (1)
- discrete time (1)
- distributed temporal logic (1)
- labelled tableaux system (1)
- protocol models (1)
- soundness and completeness (1)
- strand spaces (1)
- until and since (1) Plus Moins