Denis Makartetskiy, Riccardo Sisto. An approach to refinement checking of SysML requirements. In Zoubir Mammeri, editor, IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011. pages 1-4, IEEE, 2011. [doi]
@inproceedings{MakartetskiyS11, title = {An approach to refinement checking of SysML requirements}, author = {Denis Makartetskiy and Riccardo Sisto}, year = {2011}, doi = {10.1109/ETFA.2011.6059147}, url = {http://dx.doi.org/10.1109/ETFA.2011.6059147}, researchr = {https://researchr.org/publication/MakartetskiyS11}, cites = {0}, citedby = {0}, pages = {1-4}, booktitle = {IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011}, editor = {Zoubir Mammeri}, publisher = {IEEE}, isbn = {978-1-4577-0018-7}, }