Electronic Communications of the EASST Volume 46 ( 2011 ) Proceedings of the 11 th International Workshop on Automated Verification of Critical Systems Approximating Idealised Real-Time Specifications Using Time Bands
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Robust Timed Automata , 1997, HART.
[2] Nicolas Markey,et al. Robust safety of timed automata , 2008, Formal Methods Syst. Des..
[3] Zhou Chaochen,et al. Duration Calculus: A Formal Approach to Real-Time Systems , 2004 .
[4] Eerke A. Boiten,et al. Formal Program Development with Approximations , 2005, ZB.
[5] Rajeev Alur,et al. Perturbed Timed Automata , 2005, HSCC.
[6] Ian J. Hayes,et al. Towards reasoning about teleo-reactive programs for robust real-time systems , 2008, SERENE '08.
[7] Thomas A. Henzinger,et al. Assume-Guarantee Refinement Between Different Time Scales , 1999, CAV.
[8] Alan Burns,et al. A timeband framework for modelling real-time systems , 2010, Real-Time Systems.
[9] Alan Burns,et al. Time bands in systems structure , 2006 .
[10] Angelo Gargantini,et al. Automated deductive requirements analysis of critical systems , 2001, TSEM.
[11] Ben C. Moszkowski,et al. Compositional reasoning about projected and infinite time , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.
[12] Nils J. Nilsson,et al. Teleo-Reactive Programs and the Triple-Tower Architecture , 2001, Electron. Trans. Artif. Intell..
[13] Cliff B. Jones,et al. Comparing Models of Nondeterministic Expression Evaluation , 2011 .
[14] Manfred Broy. Refinement of time , 2001, Theor. Comput. Sci..
[15] Thomas A. Henzinger,et al. Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.
[16] Alan Burns,et al. A Framework for Building Dependable Systems , 1991, Computer/law journal.