Airplane and space systems.
event
Submitted by Anonymous on Mon, 01/19/2015 - 11:58am
2nd International Workshop on Safety and Formal Methods
Overview
The SaFoMe workshop aims at providing a forum for people from academia and industry to communicate their latest results on theoretical advances, industrial case studies, and lessons learned in the application of formal methods to safety certification, verification and/or validation in (but not limited to) component-based systems.
forum
Submitted by Anonymous on Mon, 01/19/2015 - 11:52am
2nd International Workshop on Safety and Formal Methods -- SaFoMe 2015
Co-located with FM 2015: 20th International Symposium on Formal Methods (http://fm2015.ifi.uio.no)
June 22-26, 2015 -- Oslo, Norway
Workshop will take place on June 22, 2015
Web: https://es-static.fbk.eu/events/safome15
For more information: tonettas[at]fbk[dot]eu and rj[dot]rodriguez[at]unileon[dot]es
IMPORTANT DATES
forum
Submitted by Anonymous on Mon, 12/22/2014 - 3:11pm
CALL FOR PAPERS ECRTS 15
Submission deadline: 1 February 2015 (firm deadline)
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015
Organized by the Euromicro Technical Committee on Real-Time Systems
Conference web site: ecrts15.ecrts.org
THEME AND TOPICS OF INTEREST
video
Submitted by jessygrizzle on Tue, 12/02/2014 - 3:45pm
forum
Submitted by Anonymous on Wed, 11/26/2014 - 3:08pm
The 7th NASA Formal Methods Symposium
http://www.NASAFormalMethods.org/nfm2015
27 - 29 April 2015 | Pasadena, California, USA
THEME
The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.
forum
Submitted by Anonymous on Fri, 11/21/2014 - 5:01pm
To be held on April 13, 2015 in conjunction with CPS Week 2015.
