( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rationale and Architecture Principles for Medical Application Platforms.

, , , , , , , , и . ICCPS, стр. 3-12. IEEE Computer Society, (2012)

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.

Ingeborg John

Hans-Dieter John

Annemarie Johne

Horst John

Walter John

 

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

Software Certification: Methods and Tools (Dagstuhl Seminar 13051)., , , и . Dagstuhl Reports, 3 (1): 111-148 (2013)A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures., и . GPCE, стр. 33-42. ACM, (2007)Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device., , , и . HILT, стр. 65-84. ACM, (2013)Generalization in Hierarchies of Online Program Specialization Systems., , и . LOPSTR, том 1559 из Lecture Notes in Computer Science, стр. 179-198. Springer, (1998)Extending JML for Modular Specification and Verification of Multi-threaded Programs., , , , , и . ECOOP, том 3586 из Lecture Notes in Computer Science, стр. 551-576. Springer, (2005)Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems., , , , и . ICSE, стр. 160-173. IEEE Computer Society, (2003)Invariant-based specification, synthesis, and verification of synchronization in concurrent programs., , , и . ICSE, стр. 442-452. ACM, (2002)Assurance Case Considerations for Interoperable Medical Systems., , и . SAFECOMP Workshops, том 11094 из Lecture Notes in Computer Science, стр. 42-48. Springer, (2018)HAMR: An AADL Multi-platform Code Generation Toolset., , , и . ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 274-295. Springer, (2021)A New Foundation for Control-Dependence and Slicing for Modern Program Structures., , , , и . ESOP, том 3444 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2005)