- 1
FC
François Charpillet
1
Documents
Identifiants chercheurs
- francois-charpillet
- IdRef : 070140553
- 0000-0001-8260-1536
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems[Research Report] RR-6304, INRIA. 2007, pp.18
Rapport
inria-00173876v2
|