On the integration of model-driven design and dynamic assertion-based verification for embedded software

Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Foltinek, Andreas; Fujita, Masahiro; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano

期刊名称Journal of Systems and Software
作者Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Foltinek, Andreas; Fujita, Masahiro; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
卷第86卷
期第8期
印刷ISSN0164-1212
文件大小2529.18KB
发表时间2013-8
DOI10.1016/j.jss.2012.08.061
页码2013-2033

发现好书期刊，享受阅读乐趣