共 34 条
[1]
Bae BH, 2003, IEEE IND APPLIC SOC, P898
[6]
From TiMo to Event-B: Event-Driven Timed Mobility
[J].
2014 19TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2014),
2014,
:1-10