Concurrent Specification of Embedded Systems: An Insight into the Flexibility vs Correctness Trade-Off - Herrera, F.; Ugarte, I. (IntechOpen, 2012)
None