Cited By
View all- (2015)Design and verification of multi-rate distributed systemsProceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2015.7340463(20-29)Online publication date: 1-Sep-2015
- (2014)A framework for high-assurance quasi-synchronous systemsProceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2014.6961845(72-83)Online publication date: 1-Oct-2014
- Ferrari FZimmerling MThiele LMottola LZhao FTerzis AWhitehouse K(2012)The low-power wireless busProceedings of the 11th international conference on Information Processing in Sensor Networks10.1145/2185677.2185693(93-94)Online publication date: 16-Apr-2012
- Show More Cited By