Hussein Zedan, Antonio Cau, Zhiqiang Chen, Hongji Yang. ATOM: An Object-based Formal Method for Real-Time Systems. Ann. Software Eng., 7:235-256, 1999.
@article{ZedanCCY99,
title = {ATOM: An Object-based Formal Method for Real-Time Systems},
author = {Hussein Zedan and Antonio Cau and Zhiqiang Chen and Hongji Yang},
year = {1999},
tags = {rule-based},
researchr = {https://researchr.org/publication/ZedanCCY99},
cites = {0},
citedby = {0},
journal = {Ann. Software Eng.},
volume = {7},
pages = {235-256},
}