|
Search the dblp DataBase
Alexander K. Wißpeintner:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner
Checking and Transforming Models with AutoFOCUS. [Citation Graph (0, 0)][DBLP] ECBS, 2005, pp:307-314 [Conf]
- Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner
Consistency in Model-Based Development. [Citation Graph (0, 0)][DBLP] ECBS, 2003, pp:287-296 [Conf]
- Alexander K. Wißpeintner, Franz Huber, Jan Philipps
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. [Citation Graph (0, 0)][DBLP] FBT, 2000, pp:91-100 [Conf]
- Guido Wimmel, Alexander K. Wißpeintner
Extended Description Techniques for Security Engineering. [Citation Graph (0, 0)][DBLP] SEC, 2001, pp:469-0 [Conf]
- Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner
Secure systems development based on the common criteria: the PalME project. [Citation Graph (0, 0)][DBLP] SIGSOFT FSE, 2002, pp:129-138 [Conf]
Search in 0.001secs, Finished in 0.001secs
|