( en | de | ru )

 

Disambiguation of "Dobbing, Brian"

Author of the publication

copydeleteadd this publication to your clipboard
Guide for the use of the Ada Ravenscar Profile in high integrity systems

, , and . Ada Lett., XXIV (2): 1--74 (2004)
DOI: http://doi.acm.org/10.1145/997119.997120

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rolf-Walter Briant

Benoît Briand

Ursula Brian

Annette Brians

Brian Alexander

 

Other publications of authors with the same name

Static analysis of Ravenscar programs., and . IRTAW, page 58-64. ACM, (2003)Report of session: analysis of the J consortium real-time Java proposal., and . IRTAW, page 17-18. ACM, (2000)Session summary: new core language features., and . IRTAW, page 11-12. ACM, (2003)The Ravenscar Tasking Profile for High Integrity Real-Time Programs., , and . Ada-Europe, volume 1411 of Lecture Notes in Computer Science, page 263-275. Springer, (1998)Dependability-by-Contract., and . SSS, page 35-51. Springer, (2007)Using JavaTM APIs with Native Ada Compilers., and . Ada-Europe, volume 1845 of Lecture Notes in Computer Science, page 41-55. Springer, (2000)The Ravenscar Tasking Profile for High Integrity Real-Time Programs., and . SIGAda, page 1-6. ACM, (1998)Real-time convergence of Ada and Java™., and . SIGAda, page 11-26. ACM, (2001)High Integrity Ravenscar., and . Ada-Europe, volume 2655 of Lecture Notes in Computer Science, page 68-79. Springer, (2003)T-SMART - task-safe, minimal Ada realtime toolset., and . IRTAW, page 45-50. ACM, (1997)