Veröffentlicht am 10. August 2016.

Vortrag auf dem ICFEM 2016 Workshop in Tokio

November 14, 2016

BTC Embedded Systems hält auf dem FM&MDD (Formal Methods and Model-Drive Development) Workshop einen Vortrag im Rahmen der ICFEM (International Conference on Formal Engineering Methods) in Tokio, Japan. Der Vortragstitel ist "Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation".

Weitere Informationen zum Event finden Sie auf: http://research.nii.ac.jp/fmmdd

Das entsprechende Paper ist in unserem Download Bereich verfügbar.