![](/img/cover-not-exists.png)
A Formal Specification Framework for Designing and Verifying Reliable and Dependable Software for CNC Systems
Cao, Y.Volume:
6
Language:
english
Journal:
Advances in Mechanical Engineering
DOI:
10.1155/2014/869474
Date:
February, 2015
File:
PDF, 1.60 MB
english, 2015