Towards automatic validation of composite heterogeneous systems in edge situations.

Luks Cern

Browse the full ISSRE paper archive.