About this scholarly article

Proceedings. 2003 International Symposium on System-on-Chip (IEEE Cat. No.03EX748) - Generating formal models for real-time verification by exact low-level runtime analysis of synchronous programs by Logothetis, G.; Schneider, K.; Metzler, C. is a scholarly article available to read on EtoBox.

Author

Logothetis, G.; Schneider, K.; Metzler, C.

Publisher

IEEE Comput. Soc

Published

2003

Language

EN