Raw Data For The Article "Speed Up Bdd For Safety Verification In Agile Development: A Partially Replicated Controlled Experiment"
收藏数据链接：
官方服务：
资源简介：
This is the raw data for the paper "Speed up BDD for safety verification in Agile development: A partially replicated controlled experiment".
提供机构：
Zenodo创建时间：
2018-03-03
