|
|
|
|
|
Augusto Y. Horita, Denis S. Loubach and Ricardo Bonna
Sophisticated and high performance embedded systems are present in an increasing number of application domains. In this context, formal-based design methods have been studied to make the development process robust and scalable. Models of computation (MoC...
ver más
|
|
|
|
|