Designing, developing and verifying interactive components iteratively with djnn

Chatty S.
Magnaudet M.
Prun D.
Conversy S.
Rey S.
Poirier M.

Embedded Real Time Software and Systems, 2016