Up and Down The Temporal Way
Open Access
- 1 January 1987
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 30 (2) , 134-148
- https://doi.org/10.1093/comjnl/30.2.134
Abstract
A formal specification of a multiple-life system is constructed. The example illustrates and justifies one of many possible system specification styles based on temporal techniques.Keywords
This publication has 0 references indexed in Scilit: