Real-time Systems

Systems able to process data as it comes in, typically without buffering delays.
event

Visible to the public  FormaliSE Workshop 2013
May 25, 2013 2:30 am - May 25, 2013 8:30 pm EDT

CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/


WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.