DMCA

MoDELS'09 ACES-MB Workshop Proceedings Formal Design Models for Distributed Embedded Control Systems

by Christo Angelov , Krzysztof Sierszecki , Yu Guo