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.