|Mon 5 - Tue 6 November 2018, Boston, Massachusetts, United States|
HILT 2018 with SPLASH 2018
This is the fifth in the HILT series of conferences and workshops focused on the use of High Integrity Language Technology to address challenging issues in the engineering of software-intensive critical systems. HILT 2018 will focus on addressing cybersecurity and cyber-resilience issues that arise in real-time, embedded, and/or safety-critical systems. Submissions are encouraged describing theoretical and practi ...
|Sat 18 - Tue 21 October 2014, Portland, Oregon, United States|
HILT 2014 with SPLASH 2014