Login / Signup
Manufacturing Software Units: ISO 16300-3 Main Guidelines for Interoperability Verification and Validation.
Henri Basson
Mourad Bouneffa
Michiko Matsuda
Adeel Ahmad
Dukki Chung
Eiji Arai
Published in:
I-ESA (2018)
Keyphrases
</>
metadata
information systems
software development
software systems
software tools
formal methods
manufacturing systems
hardware design
formal verification
test cases
software architecture
embedded systems
computer systems
semantic web
software maintenance
product quality