A new method for FMS modeling and formal verification.

Gang Xu, Zhiming Wu

Browse the full ETFA paper archive.