HILT 2016 Workshop

Pittsburgh, Pennsylvania, USA Oct 6-7, 2016
The High Integrity Language Technology (HILT) 2016 Workshop is focused on the synergy between Model-Based Development and Contract-Based Programming, producing a formal model-driven approach to the development of high-assurance software-intensive systems. It will be held as part of ESWEEK and is sponsored by ACM SIGAda.
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS