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), pp. 105-113. DOI: 10.1109/MDT.2002.1033798,
[Article]
| 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. |
| Title: | Formal verification : current use and future perspectives |
| Language: | English |
| Journal or Publication Title: | IEEE design & test of computers |
| Volume of the journal: | 19 |
| Issue Number: | 5 |
| Divisions: | 18 Department of Electrical Engineering and Information Technology |
| Date Deposited: | 19 Nov 2008 16:30 |
| DOI: | 10.1109/MDT.2002.1033798 |
| License: | [undefiniert] |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum