Skip to content

Automated evaluation of embedded-system design alternatives.

Maxime Cordy, Sami Lazreg

VenueBSPLC
Year2019
ProceedingsSPLC (A)

Browse the full SPLC paper archive.