FM 2012: Formal Methods: 18th International Symposium, ...
Preview
326 Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, and Yan Liu Experience Report on Designing and Developing Control Components Using Formal Methods............................................ 341 Ammar Osaiweran, Tom Fransen, Jan ...