On the formal specification and verification of CIM architectures using LOTOS-Reference-Cited by-同舟云学术

On the formal specification and verification of CIM architectures using LOTOS

Published:1986-12 Issue:6 Volume:7 Page:491-504
ISSN:0166-3615
Container-title:Computers in Industry
language:en
Short-container-title:Computers in Industry

Author:

Biemans Frank,Blonk Pieter

Publisher

Elsevier BV

Subject

General Engineering,General Computer Science

Reference35 articles.

1. Process Algebra;Baeten;Informatie,1986

2. H. Barringer: “Formal Specification Techniques for Parallel and Distributed Systems”. Short review, presented on behalf of the Ada-Europe Working Group on Formal Methods for Specification and Development.

3. Programmatuuronderzoek in de Schaduw;Bergstra;Informatie,1985

4. Distributed Internal Transport Control;Biemans;Philips Centre For manufacturing Technology Report 01/84,1984

5. Reference Model of Production Control Systems - A Summary, Version 1;Biemans;Philips Centre For manufacturing Technology Report 25/85,1985

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Problem Solving Using Process Algebra Considered Insightful;ModelEd, TestEd, TrustEd;2017

2. Software Patterns for Modelling Discrete-Part Manufacturing Systems Using Objects;International Journal of Modelling and Simulation;2003-01

3. A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system;IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans;1999

4. Evaluation of architecture design with CIMOSA;Computers in Industry;1997-11

5. Control of cellular flexible manufacturing systems;Cellular Manufacturing Systems;1996