![](/img/cover-not-exists.png)
Behavioural Validation from a Formal Specification of Smart Equipment
Choukair, Chris, Bayart, MireilleVolume:
34
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.1016/s1474-6670(17)32930-0
Date:
November, 2001
File:
PDF, 688 KB
english, 2001