Sciweavers

10908 search results - page 70 / 2182
» Requirements Engineering Tasks
Sort
View
ADAEUROPE
2000
Springer
15 years 6 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
ADAEUROPE
1998
Springer
15 years 5 months ago
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Alan Burns, Brian Dobbing, G. Romanski