Publication:2766651
From MaRDI portal
zbMath0986.68648MaRDI QIDQ2766651
Luigia Petre, Ralph-Johan Back, Ivan Porres
Publication date: 17 June 2002
68U99: Computing methodologies and applications
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
68N99: Theory of software
Related Items
Action systems in incremental and aspect-oriented modeling, Reasoning about goal-directed real-time teleo-reactive programs, Moded and continuous abstract state machines, Deriving Real-Time Action Systems Controllers from Multiscale System Specifications