Cite
HARVARD Citation
Ipate, F. et al. (2016). A unified integration and component testing approach from deterministic stream X-machine specifications. Formal aspects of computing. pp. 1-20. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ipate, F. et al. (2016). A unified integration and component testing approach from deterministic stream X-machine specifications. Formal aspects of computing. pp. 1-20. [Online].