%0 Conference Paper %1 yang2018finite %A Yang, Liu %A Rauzy, Antoine %A Haskins, Cecilia %B 2018 IEEE International Systems Engineering Symposium (ISSE) %D 2018 %K MBSA MBSE safety %P 1--6 %T Finite degradation structures: a formal framework to support the interface between MBSE and MBSA

@inproceedings{yang2018finite, added-at = {2020-04-28T17:44:05.000+0200}, author = {Yang, Liu and Rauzy, Antoine and Haskins, Cecilia}, biburl = {https://www.bibsonomy.org/bibtex/22e4dc53997d2013c34146de3e020a819/maximeb}, booktitle = {2018 IEEE International Systems Engineering Symposium (ISSE)}, interhash = {9e859b4d5aa30dc94ec842d8d9d71dc0}, intrahash = {2e4dc53997d2013c34146de3e020a819}, keywords = {MBSA MBSE safety}, organization = {IEEE}, pages = {1--6}, timestamp = {2020-04-28T17:44:05.000+0200}, title = {Finite degradation structures: a formal framework to support the interface between MBSE and MBSA}, year = 2018 }