( en | de | ru )

 

Disambiguation of "Müllerburg, Monika"

Author of the publication

copydeleteadd this publication to your clipboard
Systematic testing and formal verification to validate reactive programs.

, , , , and . Software Quality Journal, 4 (4): 287-307 (1995)

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.

Marion Müllerburg

Monika Mühlbauer

Modelling wall interactions of a high-pressure, hollow cone spray. TU Darmstadt, (2009)

Monika Nied

Monika Rinn

Monika Schüz

 

Other publications of authors with the same name

Test Data Selection Criteria for (Software) Integration Testing., and . ICSI, page 709-717. IEEE Computer Society, (1990)Ein Ansatz zur systematischen Auswahl von Software-Testmethoden.. Informatik zwischen Wissenschaft und Gesellschaft, volume 309 of Informatik-Fachberichte, page 163-179. Springer, (1992)Verifying a Time-Triggered Protocol in a Multi-language Environment., , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 185-195. Springer, (1998)Über das Prüfen, Messen und Bewerten von Software: Methoden und Techniken der analytischen Software-Qualitätssicherung., , and . Inform. Spektrum, 10 (3): 123-144 (1987)Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-Environments., and . Software Engineering, volume 5 of Berichte des German Chapter of the ACM, page 342-344. Teubner, (1980)The METKIT CAI system., and . Inf. Softw. Technol., 35 (2): 120-126 (1993)Software-Produktionsumgebungen: Entwicklungsstand und Trends., and . Werkzeuge der Programmiertechnik, volume 43 of Informatik-Fachberichte, page 1-27. Springer, (1981)Zur Formalisierung von Testkonzepten.. Testen, Analysieren und Verifizieren von Software, page 35-44. Springer, (1992)Systematic testing and formal verification to validate reactive programs., , , , and . Software Quality Journal, 4 (4): 287-307 (1995)Conspectus of Software Engineering Environments., and . ICSE, page 34-43. IEEE Computer Society, (1981)