( en | de | ru )

 

Disambiguation of "Maibaum, Tom"

Author of the publication

copydeleteadd this publication to your clipboard
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

, , , , , , and . IEEE Des. Test, 32 (5): 45-55 (2015)

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.

Theodor Maibaum

Bert Maibaum

Anja Maibaum

Elfriede Maibaum

Jürgen Maibaum

 

Other publications of authors with the same name

Formal Methods: A Commentary., and . JIT, 2 (2): 77-80 (1987)A Separation Principle for Embedded System Interfacing., , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 373-388. Springer, (2014)Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach., , , , and . SAFECOMP, volume 10488 of Lecture Notes in Computer Science, page 69-85. Springer, (2017)Separating Safety and Control Systems to Reduce Complexity., , and . Conquering Complexity, Springer, (2012)Formalising Object-Oriented Models in the Object Calculus, , and . (1998)Implementability of requirements in the four-variable model., , and . Sci. Comput. Program., (2015)On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain, , , and . Springer Briefs in Computer Science Springer, (2020)Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems., , and . PROFES, volume 8892 of Lecture Notes in Computer Science, page 224-238. Springer, (2014)Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge., , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 87-102. Springer, (2015)Towards specification, modelling and analysis of fault tolerance in self managed systems., and . SEAMS@ICSE, page 30-36. ACM, (2006)