TAM: A Formal Framework for the Development of Distributed Real-Time Systems
D. J. Scholefield and H.S.M. Zedan
No Abstract Available
Download Not Available
BibTex Entry
@inproceedings{Scholefield1992,
abstract = {},
author = {D. J. Scholefield and H.S.M. Zedan},
booktitle = {Symposium on Formal Techniques in Real-Time and Fault Tolerant Systens, SV, Nijmegen, Netherlands},
editor = {Jan Vytopil},
title = {TAM: A Formal Framework for the Development of Distributed Real-Time Systems},
year = {1992}
}