DMCA

A Formal Software Synthesis Approach For Embedded Hard Real-Time Systems (2004)

Cached

Download Links

by Raimundo Barreto , Meuse Oliveira Júnior , Marília Neves , Meuse Oliveira , Paulo Maciel , Eduardo Tavares , Ricardo Lima , Centro Informática , Escola Politécnica