Searching for authors named "Roland Vogt" – sorted by Relevance.
-
The Use of Formal Methods for Trusted Digital Signature Devices
- Digital Signature Devices Bruno Langenstein and Roland Vogt Deutsches Forschungszentrum fr Knstliche
- Cited by 1 (0 self) – Add To MetaCart
-
Contact:
- Ullmann Roland Vogt Version: 1.1 Prepared by Devlopment and Evaluation of Formal Security Policy Models
- Add To MetaCart
-
Discretionary Information Flow Control (MU)
- Nonnengart Christian Stble Roland Vogt Common Criteria Protection Profile 01345-DIC-MU Common Criteria
- Add To MetaCart
-
VSE: Formal Methods Meet Industrial Needs
- , Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers German Research Center for Artificial
- Cited by 3 (3 self) – Add To MetaCart
-
Formal Software Development in the Verification Support Environment (VSE)
- Langenstein Georg Rock J org H. Siekmann Werner Stephan Roland Vogt Deutsches Forschungszentrum f ur K
- Cited by 2 (0 self) – Add To MetaCart

