Verifying network performance of cyber-physical systems with multiple runtime configurations.

Martin Manderscheid, Gereon Weiss, Rudi Knorr

Browse the full EMSOFT paper archive.