( en | de | ru )

 

Disambiguation of "Pinger, Ralf"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Systems Engineering Approach in Practice: An Experience Report

, , , , , and . Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, page 34--41. New York, NY, USA, ACM, (2014)
DOI: 10.1145/2593850.2593856

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.

Ralf Pinger

Winfried Pinger

Julian Pinger

Jürgen Pinger

Petra Pinger

 

Other publications of authors with the same name

Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking.. Grundlagen von Datenbanken, volume Math/Inf/99/16 of Jeaner Schriften zur Mathematik und Informatik, page 82-86. Friedrich-Schiller-Universität Jena, (1999)A Formal Systems Engineering Approach in Practice: An Experience Report, , , , , and . Proceedings of the 1st International Workshop on Software Engineering Research and Industrial Practices, page 34--41. New York, NY, USA, ACM, (2014)Efficient data validation for geographical interlocking systems., , , and . Formal Aspects Comput., 33 (6): 925-955 (2021)Efficient Data Validation for Geographical Interlocking Systems., , , and . RSSRail, volume 11495 of Lecture Notes in Computer Science, page 142-158. Springer, (2019)A formal systems engineering approach in practice: an experience report., , , , , and . SER&IPs, page 34-41. ACM, (2014)