| model analysis < model checking < model compensation | Facettes : |
List of bibliographic references indexed by model checking
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 002004 (2011-11-14) | Philippe Beaucamps [France] | Analysis of Malware by Behavior Abstraction |
| 002C22 (2010-06-23) | Nawal Guermouche [France] | Etude des Interactions Temporisées dans la Composition de Services Web |
| 004661 (2007-11-08) | Eunyoung Kang [France] | Tool supported real-time system verification with combination of abstraction/deduction and model checking |
| 005632 (2006) | Stephan Merz [France] | Model checking : éléments de base |
| 007465 (2003) | Nicolas Biri [France] ; Didier Galmiche [France] | A Separation Logic for Resource Distribution |
| 008003 (2002-07) | Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France] | The AVISS Security Protocol Analysis Tool |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i -k "model checking"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i \
-Sk "model checking" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= KwdFr.i
|clé= model checking
}}
| This area was generated with Dilib version V0.6.33. |  |