Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG
Sammlung/Stundenplan    Modulbelegung Home  |  Kontakt  |  Hilfe     Suche: Personen Einrichtungen sonstige Einträge Lehrveranstaltungen Module Räume Publikationen Forschungsprojekte Internat. Kontakte Stellenangebote Möbel-/Rechnerbörse Examensarbeiten          Lehr- veranstaltungen     Personen/ Einrichtungen     Räume     Forschungs- bericht     Publi- kationen     Internat. Kontakte     Examens- arbeiten     Telefon & E-Mail
Darstellung   Druckansicht      Außerdem im UnivIS   Vorlesungs- und Modulverzeichnis nach Studiengängen Vorlesungsverzeichnis Studiengangsverantwortliche     Veranstaltungskalender Stellenangebote Möbel-/Rechnerbörse	Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >> Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) >> Bunin, Grygoriy ; Haubelt, Christian ; Heinkel, Ulrich ; Schneider, Axel: Automatic Test Generation with Model Checking Techniques . In: ASQF (Hrsg.) : Proceedings of the Conference on Quality Engineering in Software Technology (Conference on Quality Engineering in Software Technology (CONQUEST), Berlin, Germany, Sep 27-29, 2006). 2006, S. 307-318. UnivIS ist ein Produkt der Config eG, Buckenhof