Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. In FTCS. pages 68-75, 1999. [doi]
@inproceedings{XuRRSZCH99,
title = {Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions},
author = {Jie Xu and Brian Randell and Alexander B. Romanovsky and Robert J. Stroud and Avelino F. Zorzo and Ercument Canver and Friedrich W. von Henke},
year = {1999},
url = {http://computer.org/proceedings/ftcs/0213/02130068abs.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/XuRRSZCH99},
cites = {0},
citedby = {0},
pages = {68-75},
booktitle = {FTCS},
}