TU Darmstadt / ULB / TUbiblio

Specification and validation of information processing systems by process encapsulation and symbolic execution

Boßung, Wolfgang ; Geyer, T. ; Wehmeyer, L. ; Huss, Sorin A. :
Specification and validation of information processing systems by process encapsulation and symbolic execution.
In: IEEE Computer Society Workshop on VLSI <2000, Orlando, Fla.>: Proceedings. - Los Alamitos: IEEE Computer Soc., 2000 . IEEE Computer Soc. , Los Alamitos
[Konferenz- oder Workshop-Beitrag], (2000)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2000
Autor(en): Boßung, Wolfgang ; Geyer, T. ; Wehmeyer, L. ; Huss, Sorin A.
Titel: Specification and validation of information processing systems by process encapsulation and symbolic execution
Sprache: Englisch
Reihe: IEEE Computer Society Workshop on VLSI <2000, Orlando, Fla.>: Proceedings. - Los Alamitos: IEEE Computer Soc., 2000
Ort: Los Alamitos
Verlag: IEEE Computer Soc.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Integrierte Schaltungen und Systeme
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen