( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hybrid Object-Oriented Real-Time Software Development with VDM++.

, , и . ICFEM, стр. 17-27. IEEE Computer Society, (1997)

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.

Stephen J Maxfield

Stephen J Hannahs

Stephen Stürzenbaum

Stephen Steffes

Stephen Wagner

 

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

DRAGOON: a tool for the Ada programmer., и . TRI-Ada, стр. 348-359. ACM, (1991)Adapting Ada distribution and fault tolerance., , , , и . IRTAW, стр. 111-117. ACM, (1990)Refinement, Subtyping and Subclassing in VDM++., и . Theory and Formal Methods, стр. 341-363. Imperial College Press, (1994)Communication between Ada programs in DIADEM., и . IRTAW, стр. 86-96. ACM, (1988)Hybrid Object-Oriented Real-Time Software Development with VDM++., , и . ICFEM, стр. 17-27. IEEE Computer Society, (1997)Specification of an Operating System Kernel FOREST and VDM compared.. VDM Europe, том 328 из Lecture Notes in Computer Science, стр. 88-100. Springer, (1988)Integrating VDM++ and Real-Time System Design., , , и . ZUM, том 1212 из Lecture Notes in Computer Science, стр. 188-219. Springer, (1997)An object oriented approach to virtual nodes: are package types an answer?, и . IRTAW, стр. 78-84. ACM, (1989)AdaPT and Ada 9X., , , и . TRI-Ada, стр. 493-503. ACM, (1992)Formalizing Real-Time System Design., и . ECOOP Workshops, том 1357 из Lecture Notes in Computer Science, стр. 436-445. Springer, (1997)