Sciweavers

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