TU Darmstadt / ULB / TUbiblio

Formal verification : current use and future perspectives

Abraham, J. A. and Betts, A. and Drechsler, Rolf and Eveking, Hans and Foster, H. D. and Kropf, T. and Morley, M. J. and Shiple, T. R. and Siegel, M. (2002):
Formal verification : current use and future perspectives.
In: IEEE design & test of computers, pp. 105-113, Vol. 1, [Article]

Item Type: Article
Erschienen: 2002
Creators: Abraham, J. A. and Betts, A. and Drechsler, Rolf and Eveking, Hans and Foster, H. D. and Kropf, T. and Morley, M. J. and Shiple, T. R. and Siegel, M.
Title: Formal verification : current use and future perspectives
Language: English
Journal or Publication Title: IEEE design & test of computers
Volume: Vol. 1
Divisions: 18 Department of Electrical Engineering and Information Technology
Date Deposited: 19 Nov 2008 16:30
License: [undefiniert]
Export:

Optionen (nur für Redakteure)

View Item View Item