Compositional Verification of Timing Constraints for Embedded Real-Time Systems
· 약 1분
WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.
WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.