國立虎尾科技大學 |

Works:	1 works in 3 publications in 1 languages

Software Engineering for Robotics by: Timmis, Jon.; Cavalcanti, Ana.; SpringerLink (Online service); Dongol, Brijesh.; Hierons, Rob.; Woodcock, Jim. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: Dams, Dennis.; SpringerLink (Online service); Cavalcanti, Ana.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

The practice of formal methods = essays in honour of Cliff Jones.. Part II / by: Baxter, James.; SpringerLink (Online service); Jones, C. B.; Cavalcanti, Ana. (Language materials, printed)

The practice of formal methods = essays in honour of Cliff Jones.. Part I / by: Jones, C. B.; SpringerLink (Online service); Baxter, James.; Cavalcanti, Ana. (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Cavalcanti, Ana.; Petrucci, Laure.; Seceleanu, Cristina. (Language materials, printed)

Formal methods and software engineering = 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings / by: Cavalcanti, Ana.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Breitman, Karin. (Language materials, printed)