Amanote Research
Register
Sign In
CPAL: High-Level Abstractions for Safe Embedded Systems
doi 10.1145/3023147.3023153
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Nicolas Navet
Loïc Fejoz
Publisher
ACM Press