TU Darmstadt / ULB / TUbiblio

Formal verification : current use and future perspectives

Abraham, J. A. ; Betts, A. ; Drechsler, Rolf ; Eveking, Hans ; Foster, H. D. ; Kropf, T. ; Morley, M. J. ; Shiple, T. R. ; Siegel, M. (2002)
Formal verification : current use and future perspectives.
In: IEEE design & test of computers, 19 (5)
doi: 10.1109/MDT.2002.1033798
Article, Bibliographie

Item Type: Article
Erschienen: 2002
Creators: Abraham, J. A. ; Betts, A. ; Drechsler, Rolf ; Eveking, Hans ; Foster, H. D. ; Kropf, T. ; Morley, M. J. ; Shiple, T. R. ; Siegel, M.
Type of entry: Bibliographie
Title: Formal verification : current use and future perspectives
Language: English
Date: 2002
Journal or Publication Title: IEEE design & test of computers
Volume of the journal: 19
Issue Number: 5
DOI: 10.1109/MDT.2002.1033798
Divisions: 18 Department of Electrical Engineering and Information Technology
Date Deposited: 19 Nov 2008 16:30
Last Modified: 29 Apr 2020 08:51
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details