 |
Conference papers
Verifying dynamic UML diagrams with SPIN
1
LISTIC - Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (BP 80439 74944 ANNECY LE VIEUX Cedex - France)
- USMB [Université de Savoie] [Université de Chambéry] - Université Savoie Mont Blanc : EA3703 (27, rue Marcoz - 73000 Chambéry - France)
2
ArchWare (IRISA, Université de Bretagne-Sud, Campus de Tohannic, 56017 Vannes - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
Document type :
Conference papers
Domain :
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01191601
Contributor : Yves Dumond <>
Submitted on : Wednesday, September 2, 2015 - 10:59:05 AM
Last modification on : Thursday, January 7, 2021 - 4:35:42 PM
Contributor : Yves Dumond <>
Submitted on : Wednesday, September 2, 2015 - 10:59:05 AM
Last modification on : Thursday, January 7, 2021 - 4:35:42 PM
Identifiers
- HAL Id : hal-01191601, version 1
Collections
CNRS | UNIV-SAVOIE | IRISA | IRISA-D4 | UNIV-RENNES1 | INSTITUT-TELECOM | INRIA | UR1-UFR-ISTIC | UNIV-RENNES | INSA-GROUPE | LISTIC | IRISA_UBS | UBS | INSA-RENNES | UGA
Citation
Yves Dumond, Didier Girardet, Flavio Oquendo. Verifying dynamic UML diagrams with SPIN. 5ème Congrès international pluridisciplinaire, qualité et sûreté de fonctionnement, Mar 2003, Nancy, France. pp.97-106. ⟨hal-01191601⟩
Metrics
Record views