Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM

  Home  |  Research/Competence  |  Teaching  |  Staff  |  Publications  |  Misc  |  Contact  |  Intranet  |

  Find  

 
PDF-Datei BibTeX

@inproceedings {fmics03,
    author = {Jan Philipps and Alexander Pretschner and Oscar Slotosch and Ernst Aiglstorfer and Stefan Kriebel and Kai Scholl},
    title = {{Model-based test case generation for smart cards}},
    booktitle = {Formal Methods for Industrial Critical Systems},
    year = {2003},
    volume = {80},
    pages = {168 - 182},
    month = {Jun},
    publisher = {ENTCS}
}
  
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact