On the formal specification and verification of CIM architectures using LOTOS
- 1 December 1986
- journal article
- Published by Elsevier in Computers in Industry
- Vol. 7 (6), 491-504
- https://doi.org/10.1016/0166-3615(86)90060-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The trace specification of communications protocolsIEEE Transactions on Computers, 1985
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985
- An Autonomous, Decentralized Control System for Factory AutomationComputer, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Petri NetsACM Computing Surveys, 1977
- Structured Analysis for Requirements DefinitionIEEE Transactions on Software Engineering, 1977