A virtual system approach for distributed simulation of complex systems

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2002, Pages 112-116

  Combettes, Stéphanie ^a   Nketsa, Alexandre ^a  

^a LAAS CNRS   (France)

Author keywords

Closure under coupling; Component; Interoperability; Virtual System

Indexed keywords

AUTONOMOUS AGENTS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; INTEROPERABILITY; SEMANTICS; VIRTUAL REALITY;

VIRTUAL SYSTEMS;

LARGE SCALE SYSTEMS;

EID: 0038007915     PISSN: 08843627     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSMC.2002.1176021     Document Type: Article

References (4)

1. Kiehn: Petri nets systems and their closure properties. Lecture Notes in Petri Nets 424, pp:306-328, 1989.
2. Leclerq: Interopérabilité des systèmes d’information géographique: une approche basée sur la médiation de contexte. Phd (Thèse de doctorat). Université de Bourgogne. 2000.
3. Michel & Wiels: A framework for modular formal specification and verification. Formal Methods Europe 97. Graz, September 15-19 1997.
4. Zeigler & al: Implementation of the DEVS formalism over the HLA / RTI: problems and solutions. Spring Simulation Interoperability Workshop, Orlando Florida, 1999