RACCO: A Modal-Logic Programming Language for Writing Models of Real-Time Process-Control Systems

Publisher Website

1 January 1992

book chapter
Published by Elsevier

p. 53-70
https://doi.org/10.1016/b978-0-12-037103-7.50010-3

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

The operational versus the conventional approach to software development
Communications of the ACM, 1984
An Operational Approach to Requirements Specification for Embedded Systems
IEEE Transactions on Software Engineering, 1982

Cited by 1 article