Cited By
View all- Manderscheid MWeiss GKnorr RGirault AGuan N(2015)Verifying network performance of cyber-physical systems with multiple runtime configurationsProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830892(247-255)Online publication date: 4-Oct-2015
- Schneider RZhang LGoswami DMasrur AChakraborty SMacii E(2013)Compositional analysis of switched ethernet topologiesProceedings of the Conference on Design, Automation and Test in Europe10.5555/2485288.2485555(1099-1104)Online publication date: 18-Mar-2013