|
Search the dblp DataBase
Michael Schmitt II:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi
Efficient: A Toolset for Building Trusted B2B Transactions. [Citation Graph (0, 0)][DBLP] CAiSE, 2005, pp:430-445 [Conf]
- Michael Schmitt II
The Development of a Parser for SDL - 2000. [Citation Graph (0, 0)][DBLP] FBT, 2000, pp:131-142 [Conf]
- Michael Schmitt II, Jens Grabowski, Dieter Hogrefe, Beat Koch
-Autolink- A Tool for the Automatic and Semi-Automatic Test Generation. [Citation Graph (0, 0)][DBLP] FBT, 1997, pp:333-341 [Conf]
- Ji Hu, Michael Schmitt II, Christian Willems, Christoph Meinel
A Tutoring System for IT Security. [Citation Graph (0, 0)][DBLP] World Conference on Information Security Education, 2003, pp:51-60 [Conf]
- Michael Schmitt II, Anders Ek, Beat Koch, Jens Grabowski, Dieter Hogrefe
Autolink - Putting SDL-Based Test Generation Into Practice. [Citation Graph (0, 0)][DBLP] IWTCS, 1998, pp:227-244 [Conf]
- Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. [Citation Graph (0, 0)][DBLP] SDL Forum, 1997, pp:245-260 [Conf]
- Jens Grabowski, Beat Koch, Michael Schmitt II, Dieter Hogrefe
SDL and MSC based test generation for distributed test architectures. [Citation Graph (0, 0)][DBLP] SDL Forum, 1999, pp:389-404 [Conf]
- Ji Hu, Christoph Meinel, Michael Schmitt II
Tele-lab IT security: an architecture for interactive lessons for security education. [Citation Graph (0, 0)][DBLP] SIGCSE, 2004, pp:412-416 [Conf]
- Beat Koch, Jens Grabowski, Dieter Hogrefe, Michael Schmitt II
Autolink: A Tool for Automatic Test Generation from SDL Specifications. [Citation Graph (0, 0)][DBLP] WIFT, 1998, pp:114-0 [Conf]
Search in 0.002secs, Finished in 0.003secs
|