Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX. Banach, R., Razavi, J., Lesecq, S., Debicki, O., Mareau, N., Foucault, J., Correvon, M., & Dudnik, G. In International Conference on Complex Systems Design & Management, pages 3–15, 2018. Springer.
	title = {Formal {Methods} in {Systems} {Integration}: {Deployment} of {Formal} {Techniques} in {INSPEX}},
	shorttitle = {Formal {Methods} in {Systems} {Integration}},
	booktitle = {International {Conference} on {Complex} {Systems} {Design} \& {Management}},
	publisher = {Springer},
	author = {Banach, Richard and Razavi, Joe and Lesecq, Suzanne and Debicki, Olivier and Mareau, Nicolas and Foucault, Julie and Correvon, Marc and Dudnik, Gabriela},
	year = {2018},
	keywords = {⛔ No DOI found},
	pages = {3--15},

Downloads: 0