Towards usage of formal methods within embedded systems co-design.

Lus Gomes, Joo Paulo Barros, Anik Costa, Rui Pais, Filipe Moutinho

Browse the full ETFA paper archive.