A Timed CSP Model for the Time-Triggered Language Giotto
暂无分享,去创建一个
Shengchao Qin | Guanhua He | Yongxin Zhao | João Fernando Ferreira | Yanhong Huang | S. Qin | Yanhong Huang | J. Ferreira | Guanhua He | Yongxin Zhao
[1] Jim Woodcock,et al. A UTP semantics for Circus , 2009, Formal Aspects of Computing.
[2] Purandar Bhaduri,et al. Verification of Giotto based Embedded Control Systems , 2006, Nord. J. Comput..
[3] He Jifeng,et al. Integrating CSP and DC , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..
[4] Steve Schneider. Specification and Verification in Timed CSP , 1996 .
[5] A. W. Roscoe,et al. A Timed Model for Communicating Sequential Processes , 1986, Theor. Comput. Sci..
[6] Thomas A. Henzinger,et al. Time-Safety Checking for Embedded Programs , 2002, EMSOFT.
[7] Jeremy L. Jacob,et al. A CSP model of Eiffel’s SCOOP , 2007, Formal Aspects of Computing.
[8] A. W. Roscoe,et al. A Timed Model for Communicating Sequential Processes , 1986, ICALP.
[9] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[10] Xian Zhang. Job-Shop Scheduling Problems Using Timed Planning , 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.
[11] Steve A. Schneider,et al. An Operational Semantics for Timed CSP , 1995, Inf. Comput..
[12] Sixth IEEE International Conference On Engineering Of Complex Computer Systems , 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.
[13] Takeo Kanade,et al. Unifying Theories of Programming , 2010, Lecture Notes in Computer Science.
[14] Jim Davies,et al. A Brief History of Timed CSP , 1995, Theor. Comput. Sci..
[15] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[16] Jun Sun,et al. PAT: Towards Flexible Verification under Fairness , 2009, CAV.
[17] Andy J. Wellings,et al. The Safety-Critical Java Mission Model: A Formal Account , 2011, ICFEM.