Integration of Formal Methods and Testing for Model-based Systems Engineering (NII Shonan Meeting 2014-16)

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]

Abstract

Abstract is missing.