Sciweavers

1164 search results - page 10 / 233
» Case Studies in Event-Driven Control
Sort
View
DAC
1998
ACM
16 years 4 months ago
A Case Study in Embedded System Design: An Engine Control Unit
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
Alberto L. Sangiovanni-Vincentelli, Antonino Damia...
ICFEM
2009
Springer
15 years 10 months ago
European Train Control System: A Case Study in Formal Verification
André Platzer, Jan-David Quesel
108
Voted
ECRTS
2002
IEEE
15 years 8 months ago
Data Management Issues in Vehicle Control Systems: A Case Study
Dag Nyström, Aleksandra Tesanovic, Christer N...
108
Voted
COORDINATION
1997
Springer
15 years 7 months ago
Modeling Railway Control Systems Using Graph Grammars: A Case Study
A. A. Holzbacher, M. Périn, Mario Südh...
CODES
1994
IEEE
15 years 7 months ago
A case study in computer-aided codesign of embedded controllers
Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto...