Refinement and Consistency of Timed Modal Specifications. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Refinement and Consistency of Timed Modal Specifications.

Résumé

In the application domain of component-based system design, developing theories which support compositional reasoning is notoriously challenging. We define timed modal specifications, an automata-based formalism combining modal and timed aspects. As a stepping stone to compositional approaches of timed systems, we define the notions of refinement and consistency, and establish their decidability.

Dates et versions

inria-00424283 , version 1 (14-10-2009)

Identifiants

Citer

Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet. Refinement and Consistency of Timed Modal Specifications.. 3rd International Conference on Language and Automata Theory and Applications (LATA'09), Apr 2009, Tarragona, Spain. pp.152-163, ⟨10.1007/978-3-642-00982-2_13⟩. ⟨inria-00424283⟩
202 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More