A Method of Functional Verification of Reliable Embedded Computer System
Herout, P.,
Racek, S.,
Hlavička, J.
HEROUT, P., S. RACEK, and J. HLAVIČKA. A Method of Functional Verification of Reliable Embedded Computer System. Proceedings - University of West Bohemia. 2003,(6), 33-44. ISSN 1211-9652.