Tetsuya Tohdo, Werner Damm, Alexander Pretschner, Jun Sun. Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16). NII Shonan Meet. Rep., 2014, 2014. [doi]
@article{TohdoDPS14,
title = {Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16)},
author = {Tetsuya Tohdo and Werner Damm and Alexander Pretschner and Jun Sun},
year = {2014},
url = {http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2014-16.pdf},
researchr = {https://researchr.org/publication/TohdoDPS14},
cites = {0},
citedby = {0},
journal = {NII Shonan Meet. Rep.},
volume = {2014},
}