Claus Ballegaard Nielsen. Applying the VDM formalism across systems engineering lifecycles. In 2017 Annual IEEE International Systems Conference, SysCon 2017, Montreal, QC, Canada, April 24-27, 2017. pages 1-7, IEEE, 2017. [doi]
@inproceedings{Nielsen17-2,
title = {Applying the VDM formalism across systems engineering lifecycles},
author = {Claus Ballegaard Nielsen},
year = {2017},
doi = {10.1109/SYSCON.2017.7934798},
url = {https://doi.org/10.1109/SYSCON.2017.7934798},
researchr = {https://researchr.org/publication/Nielsen17-2},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {2017 Annual IEEE International Systems Conference, SysCon 2017, Montreal, QC, Canada, April 24-27, 2017},
publisher = {IEEE},
isbn = {978-1-5090-4623-2},
}