MATEC Web of Conferences

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

Liang Sen, Luo Xiangyu and Chen Zuxi

MATEC Web Conf., 128 (2017) 04004

Published online: 25 October 2017

DOI: 10.1051/matecconf/201712804004

Liang Sen

Luo Xiangyu

Chen Zuxi

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)