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 ; Langer, Jan ; Schneider, Axel: Automatic Test Case Generation with Model Checker NuSMV . In: GI Press (Hrsg.) : Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen (Informatik - Workshop Modellbasiertes Testen, Dresden, Germany, October 02-10, 2006). 2006, S. 262-263. UnivIS ist ein Produkt der Config eG, Buckenhof