UTP

A Two-Way Path between Formal and Informal Design of Embedded Systems

It is well known that informal simulation-based design of embedded systems has a low initial cost and delivers early results; yet it …

Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan