Cited By
View all- Matos Pedro APinto JPereira DPinho L(2018)Runtime verification of autopilot systems using a fragment of MTL-$${\int }$$?International Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-017-0470-520:4(379-395)Online publication date: 1-Aug-2018
- Cadoret FRobert TBorde EPautet LSinghoff F(2013)Deterministic implementation of periodic-delayed communications and experimentation in AADL16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)10.1109/ISORC.2013.6913210(1-8)Online publication date: Jun-2013
- Poon WMok A(2010)Necessary and Sufficient Conditions for Non-preemptive RobustnessProceedings of the 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications10.1109/RTCSA.2010.26(349-354)Online publication date: 23-Aug-2010
- Show More Cited By