Author:
Macieira Rafael Melo,Barros Edna
Reference22 articles.
1. Acquaviva A, Bombieri N, Fummi F, Vinco S (2013) Semi-automatic generation of device drivers for rapid embedded platform development. IEEE Trans CAD Integr Circuits Syst 32(9):1293–1306
2. Amani S, Chubb P, Donaldson A, Legg A, Ong KC, Ryzhyk L, Zhu Y (2014) Automatic verification of active device drivers. ACM Operating Syst Rev 48(1)
3. Baheti R, Gill H (2011) Cyber-physical systems. The impact of control technology, vol 12, pp 161–166
4. Baier C, Katoen J-P (2008) Principles of model checking (Representation and mind series). The MIT Press
5. Behrend J, Gruenhage A, Schroeder D, Lettnin D, Ruf J, Kropf T, Rosenstiel W (2014) Optimized hybrid verification of embedded software. In: Test workshop—LATW, 2014 15th Latin American, pp 1–6, March 2014