( en | de | ru )

 

Disambiguation of "Maibaum, Tom"

Author of the publication

copydeleteadd this publication to your clipboard
Towards specification, modelling and analysis of fault tolerance in self managed systems.

, and . SEAMS@ICSE, page 30-36. ACM, (2006)

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

Elfriede Maibaum

Jürgen Maibaum

Anja Maibaum

 

Other publications of authors with the same name

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)Formal Methods: A Commentary., and . JIT, 2 (2): 77-80 (1987)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 specification, modelling and analysis of fault tolerance in self managed systems., and . SEAMS@ICSE, page 30-36. ACM, (2006)Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?, , , , , , and . IEEE Des. Test, 32 (5): 45-55 (2015)