|
Search the dblp DataBase
Frank Koob:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ralf Denzer, Frank Koob, Gomal Kira
Object-Oriented Dialogue Modeling for Environmental Software Systems. [Citation Graph (0, 0)][DBLP] Visualisierung von Umweltdaten, 1991, pp:101-106 [Conf]
- Frank Koob, Markus Ullmann, Stefan Wittmann
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. [Citation Graph (0, 0)][DBLP] FM-Trends, 1998, pp:302-310 [Conf]
- Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
Formal Methods Diffusion: Past Lessons and Future Prospects. [Citation Graph (0, 0)][DBLP] SAFECOMP, 2000, pp:211-226 [Conf]
- Markus Ullmann, Frank Koob, Harald Kelter
Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen. [Citation Graph (0, 0)][DBLP] Datenschutz und Datensicherheit, 2001, v:25, n:11, pp:- [Journal]
Automating Interactive Protocol Verification. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|