Integrating real-time structured design and formal techniques
D. Priddin and and A. Burns (1998)
No Abstract Available
Download Not Available
BibTex Entry
@article{Priddin1998,
abstract = {},
author = {D. Priddin and and A. Burns (1998)},
editor = {Anders Ravn and Hans Rischel},
isbn = {3540650032},
journal = {Formal techniques in real-time and fault-tolerant systems, Lecture notes in computer science},
pages = {92-103},
title = {Integrating real-time structured design and formal techniques},
year = {1998}
}