Formal modelling and verification of an interlocking using mCRL2. Bouwman, M., Janssen, B., & Luttik, B. In 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, pages 22–39, 2019.
bibtex   
@inproceedings{bouwman_formal_2019,
	title = {Formal modelling and verification of an interlocking using {mCRL2}},
	booktitle = {24th {International} {Conference} on {Formal} {Methods} for {Industrial} {Critical} {Systems}, {FMICS} 2019},
	author = {Bouwman, Mark and Janssen, Bob and Luttik, Bas},
	year = {2019},
	keywords = {⛔ No DOI found},
	pages = {22--39},
}

Downloads: 0