Home Lines of research Doctoral theses Model-based testing processes for safety-critical embedded systems Model-based testing processes for safety-critical embedded systems Carlos Fernando Nicolás 07/03/2012 Share: FB TW G+ IN