A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An Operational Approach to Requirements Specification for Embedded Systems
1982
IEEE Transactions on Software Engineering
RedA time mwion l embedded systems am much expressed as a set of assertions about properties of the solu-"or to desg than ordnary s 17. R.C. Wawm "Expressional Loops"
doi:10.1109/tse.1982.235254
fatcat:qui25a5x2jbi5plaklc6xyiixq