Elektronika : konstrukcje, technologie, zastosowania > 2010 > Vol. 51, nr 12 > 87-90
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 0033-2089 |
e-ISSN czasopisma : | 2449-9528 |
Słowa kluczowe
Informacje dodatkowe
Wydawca
Obszary wiedzy
Bibliografia
-
[1] Alur R. and Henzinger T. A.: Computer-aided verification: a textbook at ulr: http://www.cis.upenn.edu/~alur/CIS673/index.html
-
[2] Drechsler R. (ed.): Advanced Formal Verification, KAP", 2004.
-
[3] Wang F.: Formal Verification of Timed Systems: A Survey and Perspective. Proc. of IEEE, vol. 92, No.8, Aug.2004, pp. 1283-1305.