DocumentCode
2648806
Title
Formal Specification And Validation In Production Plants
Author
Ezpeleta, J. ; Martinez, J.
Author_Institution
University of Zaragoza
fYear
1992
fDate
20-22 May 1992
Firstpage
64
Lastpage
73
Keywords
Computer science; Formal specifications; Job shop scheduling; Microwave devices; Microwave ovens; Petri nets; Production systems; Routing; System recovery; Workstations;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Integrated Manufacturing, 1992., Proceedings of the Third International Conference on
Print_ISBN
0-8186-2615-1
Type
conf
DOI
10.1109/CIM.1992.638993
Filename
638993
Link To Document