Formal Specification of Hybrid MARTE Statecharts.

Ziwei Liu, Jing Liu, Jifeng He, Frdric Mallet, Miaomiao Zhang

Browse the full TASE paper archive.