%0 Book Section %1 burns98ravenscar %A A. Burns, B. Dobbing, G. Romanski %B Lecture Notes in Computer Science %D 1998 %I Springer Netherlands %J Reliable Software Technologies — Ada-Europe %K %P 263 %T Reliable Software Technologies -- Ada-Europe %U http://www.springerlink.com/content/r6mb4lu56d5aw0v2 %& The Ravenscar Tasking Profile for High Integrity Real-Time Programs

@inbook{burns98ravenscar, added-at = {2011-12-16T09:33:29.000+0100}, author = {{A. Burns, B. Dobbing}, G. Romanski}, biburl = {https://www.bibsonomy.org/bibtex/2a198d1032a08657f00e4be40aa7a055d/pbrada}, chapter = {The Ravenscar Tasking Profile for High Integrity Real-Time Programs}, groups = {public}, interhash = {a1e84ca006b61a8dbdac1c30701c9317}, intrahash = {a198d1032a08657f00e4be40aa7a055d}, journal = {Reliable Software Technologies — Ada-Europe}, keywords = {}, pages = 263, publisher = {Springer Netherlands}, series = {Lecture Notes in Computer Science}, timestamp = {2011-12-16T09:33:29.000+0100}, title = {Reliable Software Technologies -- Ada-Europe}, url = {http://www.springerlink.com/content/r6mb4lu56d5aw0v2}, username = {pbrada}, year = 1998 }