Sciweavers

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