Formal modeling and verifying of FMS.

Gang Xu, Zhiming Wu

Browse the full ETFA paper archive.