Bernhard Peischl‘s Publications

This list is also available as BiBTeX file.

[1]: Bernhard Peischl, Neal Snooke, Gerald Steinbauer, and Cees Witteveen, editors. "MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI)". 2008. [ bib ]
[2]: Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pages 215--226, Washington, DC, USA, 2007. IEEE Computer Society. [ bib | DOI ]
[3]: Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa. Test purpose generation in an industrial application. In A-MOST '07: Proceedings of the 3^rd international workshop on Advances in model-based testing, pages 115--125, New York, NY, USA, 2007. ACM. [ bib | DOI ]

This file was generated by bibtex2html 1.98.