( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Guide for the use of the Ada Ravenscar Profile in high integrity systems

, , и . 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.

Rolf-Walter Briant

Benoît Briand

Ursula Brian

Annette Brians

Brian Alexander

 

Другие публикации лиц с тем же именем

Report of session: analysis of the J consortium real-time Java proposal., и . IRTAW, стр. 17-18. ACM, (2000)Static analysis of Ravenscar programs., и . IRTAW, стр. 58-64. ACM, (2003)The Ravenscar Tasking Profile for High Integrity Real-Time Programs., , и . Ada-Europe, том 1411 из Lecture Notes in Computer Science, стр. 263-275. Springer, (1998)Session summary: new core language features., и . IRTAW, стр. 11-12. ACM, (2003)High Integrity Ravenscar., и . Ada-Europe, том 2655 из Lecture Notes in Computer Science, стр. 68-79. Springer, (2003)Distributed Ada: a suggested solution for Ada 9X.. IRTAW, стр. 94-102. ACM, (1990)T-SMART - task-safe, minimal Ada realtime toolset., и . IRTAW, стр. 45-50. ACM, (1997)Using JavaTM APIs with Native Ada Compilers., и . Ada-Europe, том 1845 из Lecture Notes in Computer Science, стр. 41-55. Springer, (2000)Dependability-by-Contract., и . SSS, стр. 35-51. Springer, (2007)The Ravenscar Tasking Profile for High Integrity Real-Time Programs., и . SIGAda, стр. 1-6. ACM, (1998)