Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online!
→ Zur Betaversion des neuen DNB-Katalogs
Ergebnis der Suche nach:
idn=96939716X
Treffer 1 von 1
Link zu diesem Datensatz
https://d-nb.info/96939716X
Art des Inhalts
Hochschulschrift
Titel
Zum modellbasierten funktionalen Test reaktiver Systeme / Walter Alexander Pretschner
Person(en)
Pretschner, Alexander (Verfasser)
Zeitliche Einordnung
Erscheinungsdatum: 2003
Umfang/Format
Online-Ressource, ca. 1,5 MB
Andere Ausgabe(n)
Erscheint auch als Druck-Ausgabe: Pretschner, Alexander: Zum modellbasierten funktionalen Test reaktiver Systeme
Hochschulschrift
München, Techn. Univ., Diss., 2003
Persistent Identifier
URN:
urn:nbn:de:bvb:91-diss2003080417234
URL
http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2003/pretschner.pdf
(kostenfrei zugänglich)
http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2003/pretschner.html
(Verlag)
Schlagwörter
Chipkarte
;
Reaktives System
;
Modellbasiertes Testen
;
Constraint-logische Programmierung
; Online-Publikation
Sachgruppe(n)
004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau
Online-Zugriff
Archivobjekt öffnen
Treffer 1 von 1
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
MARC21-XML-Repräsentation dieses Datensatzes
RDF (Turtle)-Repräsentation dieses Datensatzes
Dokumentation RDF (Linked Data Service)
BIBFRAME-Repräsentation dieses Datensatzes
Projekt BIBFRAME
Korrekturanfrage
Administration