Cited By
View all- Ren SYu YSong M(2011)Model feasible interactions in distributed real-time systemsFormal modeling10.5555/2074591.2074602(144-168)Online publication date: 1-Jan-2011
- Yu YRen SChen NWang XShin SOssowski SSchumacher MPalakal MHung C(2010)Profit and penalty aware (PP-aware) scheduling for tasks with variable task execution timeProceedings of the 2010 ACM Symposium on Applied Computing10.1145/1774088.1774159(334-339)Online publication date: 22-Mar-2010
- Chen CDong JSun JMartin A(2010)A verification system for interval-based specification languagesACM Transactions on Software Engineering and Methodology (TOSEM)10.1145/1734229.173423219:4(1-36)Online publication date: 23-Apr-2010
- Show More Cited By