Chapter
A formal approach to computer systems requirements documentation
Abstract
This paper demonstrates how the extended duration calculus
Authors
Engel M; Kubica M; Madey J; Parnas DL; Ravn AP; van Schouwen AJ
Book title
Hybrid Systems
Series
Lecture Notes in Computer Science
Volume
736
Pagination
pp. 452-474
Publisher
Springer Nature
Publication Date
1993
DOI
10.1007/3-540-57318-6_40