![](/img/cover-not-exists.png)
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications || A computer aided tool dedicated to specification and verification of the MoC and the MoF
Sobh, Tarek, Elleithy, Khaled, Mahmood, Ausif, Karim, MohammedVolume:
10.1007/97
Year:
2007
Language:
english
DOI:
10.1007/978-1-4020-6266-7_30
File:
PDF, 481 KB
english, 2007