Searching for authors named "Georg Droschl" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

On the Integration of Formal Methods: Events and Scenarios in PVS and VDM
by Georg Droschl — 1999
…On the Integration of Formal Methods: Events and Scenarios in PVS and VDM Georg Droschl Austrian…
Cited by 2 (1 self) – Add To MetaCart

Using PVS for Requirements Analysis of an Access Control ... Industrial Application Stream
by Georg Droschl — 1999
… (Technical paper) keywords: Requirements, Theorem Proving, Formal Validation, Security Georg Droschl…
Cited by 4 (4 self) – Add To MetaCart

Formal Specification and Analysis of an Access Control using IFAD's VDMTools
by Georg Droschl — 1999
…Formal Specification and Analysis of an Access Control using IFAD's VDMTools Georg Droschl…
Cited by 2 (2 self) – Add To MetaCart

Design and Application of a Test Case Generator for VDM-SL
by Georg Droschl — 1999
…Design and Application of a Test Case Generator for VDM-SL Georg Droschl Austrian Research Center…
Cited by 3 (3 self) – Add To MetaCart

Towards a Framework for Formalizing Requirements
by Georg Droschl — 1999
…Towards a Framework for Formalizing Requirements Georg Droschl Austrian Research Center…
Cited by 1 (1 self) – Add To MetaCart

Formal Specification of a Security System Module in VDM-SL
by Georg Droschl — 2000
…Formal Specification of a Security System Module in VDM-SL Georg Droschl Institute for Software…
Cited by 1 (1 self) – Add To MetaCart

A Formal Methods Case Study: Using "light-weight" VDM for the Development of a Security System Module
by Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald — 2000
… Module Georg Droschl 1 , Walter Kuhn 2 , Gerald Sonneck 2 , and Michael Thuswald 2 1 Technical…
Add To MetaCart

KMap: Providing Orientation for Practitioners when Introducing Knowledge Management
by Stefanie Lindstaedt, Markus Strohmaier, Herwig Rollett, Janez Hrastnik, Karin Bruhnsen, Georg Droschl, Markus Gerold — 2002 — In Proceedings of the 4th International Conference on Practical Aspects of Knowledge Management (PAKM 2002
… Lindstaedt 1 , Markus Strohmaier 1 , Herwig Rollett 1 , Janez Hrastnik 1 , Karin Bruhnsen 2 , Georg Droschl 3…
Cited by 4 (3 self) – Add To MetaCart

Formal Specification and Analysis of Requirements in Software Development
by Georg Droschl, Doktor Der Technischen Wissenschaften, Technischen Universitat Graz, Andreas Kerschbaumer, Rudi Schlatte, Mention Andrew Butter Eld, John Fitzgerald, Ralf Huuck, Christian Luidolt, Walther Neuper — 2000
…Formal Specication and Analysis of Requirements in Software Development Georg Droschl D i ssertat i…
Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB