Published on September 20, 2016.

Technical Talk at ICFEM 2016

November 14, 2016

BTC Embedded Systems will give a technical talk at the FM&MDD (Formal Methods and Model-Drive Development) Workshop at ICFEM (International Conference on Formal Engineering Methods) 2016 in Tokyo, Japan. The topic of the talk is "Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation".


You can download the related paper in our download section.