Sciweavers

11 search results - page 3 / 3
» A Trie-Based Approach for Compacting Automata
Sort
View
EUROMICRO
2009
IEEE
13 years 9 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...