Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
Ref 2016 - 2016 Refinement Workshop
Topics/Call fo Papers
The purpose of the workshop is to provide a forum for the exchange of ideas, and discussion of common ground and key differences.
Topics of interest include (but are not limited to):
Simulation techniques
Foundations and semantics
Case studies (specification and verification)
Compositional and modular reasoning
Object-orientation
Time, Probability, Hybrid Systems
Specification notations
Programming models
Verification and tool support
Topics of interest include (but are not limited to):
Simulation techniques
Foundations and semantics
Case studies (specification and verification)
Compositional and modular reasoning
Object-orientation
Time, Probability, Hybrid Systems
Specification notations
Programming models
Verification and tool support
Other CFPs
- 12th International Workshop on Automated Specification and Verification of Web Systems
- International Workshop on Formal Methods for Industrial Critical Systems
- 2016 21st International Symposium on Formal Methods
- 2016 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR)
- Feature Topic Issue RECENT ADVANCES IN GREEN INDUSTRIAL NETWORKING
Last modified: 2015-10-08 10:18:38