World Congress on Formal Methods  - FM

领  域:  软件工程
主  页:  http://fm2011.lero.ie/

论文统计图
最新的论文更多>>
Decentralised LTL Monitoring  
Andreas Bauer , Ylies Falcone
World Congress on Formal Methods  2012
0次引用 0 0
Specification-Based Test Repair Using a Lightweight Formal Method  
Guo-wei Yang , Sarfraz Khurshid , Miryung Kim
World Congress on Formal Methods  2012
0次引用 0 0
A Certified Constraint Solver over Finite Domains  
Matthieu Carlier , Catherine Dubois , Arnaud Gotlieb
World Congress on Formal Methods  2012
0次引用 0 0
Maximal and Compositional Pattern-Based Loop Invariants  
Maria Virginia Aponte , Pierre Courtieu , Yannick Moy , Marc Sango
World Congress on Formal Methods  2012
0次引用 0 0
Automatic Compositional Verification of Timed Systems  
Shang-Wei Lin , Yang Liu , Jun Sun , Jin Song Dong , Etienne Andre
World Congress on Formal Methods  2012
0次引用 0 0
 录用率: 参会人数: 影响力:
投稿方向:
会议点评
还没有人点评哦
主要作者
Jim Woodcock
University of York
 
Peter Gorm Larsen
Engineering College of Aarhus
 
Cliff B. Jones
Newcastle University
 
Augusto Sampaio
Universidade Federal de Pernambuco
 
Ana Cavalcanti
York University
 
主要概念
Feedback
Feedback
Feedback
我想反馈:
排行榜