publications
< >
- Johannes Farmer and Stefanie Lindstaedt and Georg Droschl and P. Luttenberger 5th International Conference on Organisational Knowledge, Learning, and Capabilities. Innsbruck, April 2-3 2004, (2004)
- Georg Droschl J. UCS10(3):284-293(2004)
- Georg Droschl IWFM, BCS, (1999)
- Stefanie N. Lindstaedt and Markus Strohmaier and Herwig Rollett and Janez Hrastnik and Karin Bruhnsen and Georg Droschl and Markus Gerold PAKM, volume 2569 of Lecture Notes in Computer Science, page 2-13. Springer, (2002)
- Georg Droschl World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1870. Springer, (1999)
- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.


author
groups