31 search results - page 7 / 7 » Analysing UML 2.0 activity diagrams in the software performa... |
SAFECOMP
1998
Springer
13 years 9 months ago
1998
Springer
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...