( en | de | ru )

 

Disambiguation of "Holzmüller, Bernd"

Author of the publication

copydeleteadd this publication to your clipboard
Finite Unions for Ada 95.

, and . Ada-Europe, volume 1251 of Lecture Notes in Computer Science, page 1-12. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Bernd Karl Holzmüller

Claudia Holzmüller

Sophie Holzmüller

Wolfgang Holzmüller

Michael Holzmüller

 

Other publications of authors with the same name

On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms.. ECOOP Workshops, volume 1543 of Lecture Notes in Computer Science, page 31. Springer, (1998)Finite Unions for Ada 95., and . Ada-Europe, volume 1251 of Lecture Notes in Computer Science, page 1-12. Springer, (1997)Szenario-Optimierung für die Absicherung von automatisierten und autonomen Fahrsystemen., and . CoRR, (2019)Extending the Object-Orientedness of Ada 95.. Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 357-369. Springer, (1996)Fitness Functions for Testing Automated and Autonomous Driving Systems., , and . SAFECOMP, volume 11698 of Lecture Notes in Computer Science, page 69-84. Springer, (2019)Automated Verification of Switched Systems Using Hybrid Identification., , and . CyPhy, volume 10107 of Lecture Notes in Computer Science, page 87-100. Springer, (2016)Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes.. Softwaretechnik-Trends, (2006)Re-Using Concrete Test Scenarios Generally Is a Bad Idea., , and . IV, page 1305-1310. IEEE, (2020)Did We Test All Scenarios for Automated and Autonomous Driving Systems?, , , and . ITSC, page 2950-2955. IEEE, (2019)