Conflict-Tolerant Real-Time Features
暂无分享,去创建一个
[1] Bruno Dutertre,et al. Timed Systems in SAL , 2004 .
[2] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[3] Armin Biere,et al. Bounded model checking , 2003, Adv. Comput..
[4] Kathi Fisler,et al. Decomposing Verification by Features ? , 2005 .
[5] Kathi Fisler,et al. Decomposing Verification Around End-User Features , 2005, VSTTE.
[6] Deepak D'Souza,et al. Conflict-Tolerant Features , 2008, CAV.
[7] R.P. Malhame,et al. Supervisory control of distributed systems: conflict resolution , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[8] Joseph Sifakis,et al. Compositional Specification of Timed Systems (Extended Abstract) , 1996, STACS.
[9] Joanne M. Atlee,et al. Composing features and resolving interactions , 2000, SIGSOFT '00/FSE-8.
[10] Moshe Cohen of I-Logix. Advanced Validation Techniques Meet Complexity Challenge in Embedded Software Development , 2001 .
[11] Juha Savolainen,et al. Feature Interaction and Dependencies: Modeling Features for Reengineering a Legacy Product Line , 2002, SPLC.
[12] Maria Sorea. Bounded Model Checking for Timed Automata , 2002, Electron. Notes Theor. Comput. Sci..
[13] P. Madhusudan,et al. Timed Control Synthesis for External Specifications , 2002, STACS.
[14] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[15] Mary Sheeran,et al. Checking Safety Properties Using Induction and a SAT-Solver , 2000, FMCAD.
[16] Paul J. Kühn,et al. The Feature and Service Interaction Problem in Telecommunications Systems. A Survey , 1998, IEEE Trans. Software Eng..
[17] Amy P. Felty,et al. Feature specification and automated conflict detection , 2003, TSEM.
[18] Feng Lin,et al. Modular Supervisory Control with Priorities for Discrete Event Systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.
[19] Thomas A. Henzinger,et al. Timed Interfaces , 2002, EMSOFT.
[20] Robert J. Hall,et al. Feature Interactions in Electronic Mail , 2000, FIW.