Sciweavers

11603 search results - page 27 / 2321
» Embedded System Security
Sort
View
SAFECOMP
1998
Springer
15 years 1 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
ECRTS
2008
IEEE
15 years 4 months ago
Advanced Hierachical Event-Stream Model
Karsten Albers, Frank Bodmann, Frank Slomka