Relational programs: An architecture for robust real-time safety-critical process-control systems

Author: Bastani F.B.  

Publisher: Springer Publishing Company

ISSN: 1022-7091

Source: Annals of Software Engineering, Vol.7, Iss.1-4, 1999-01, pp. : 5-24

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract