학술논문
Interactive formal specification for efficient preparation of intelligent automation systems
Document Type
Article
Author
Source
In CIRP Journal of Manufacturing Science and Technology August 2022 38:129-138
Subject
Language
ISSN
1755-5817