DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems - Archive ouverte HAL Access content directly
Journal Articles Journal of Intelligent and Robotic Systems Year : 2002

DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems

Abstract

no abstract
Not file

Dates and versions

hal-01479668 , version 1 (28-02-2017)

Identifiers

  • HAL Id : hal-01479668 , version 1

Cite

Jean-Luc Paillet, Norbert Giambiasi. DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real- Time Systems. Journal of Intelligent and Robotic Systems, 2002, 34, pp.27-81. ⟨hal-01479668⟩
57 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More