HILT 2014: Portland, Oregon, USA

Monday keynote address

Enhancing and evolving embedded systems languages for safety

Model-based engineering

Behavioral modeling and code generation

Tuesday keynote address

Applying formal methods

Safe programming languages for the multicore era (I)

Safe programming languages for the multicore era (II)

Schloss Dagstuhl LZI