暂无分享,去创建一个
[1] Arie van Deursen,et al. The ASF+SDF Meta-environment: A Component-Based Language Development Environment , 2001 .
[2] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[3] Jan Friso Groote,et al. Analysis of distributed systems with mCRL2 , 2008 .
[4] Jan Friso Groote,et al. Model-checking processes with data , 2005, Sci. Comput. Program..
[5] Ofer Strichman,et al. Bounded model checking , 2003, Adv. Comput..
[6] Jaco van de Pol,et al. 1 Motivation : A Modular , High-Performance Model Checker , 2010 .
[7] Jos C. M. Baeten,et al. Process Algebra: Equational Theories of Communicating Processes , 2009 .
[8] Paul Klint,et al. A meta-environment for generating programming environments , 1989, TSEM.
[9] C. Gaspar,et al. SMI++ — Object-oriented framework for designing control systems for HEP experiments , 1998 .
[10] Piotr Golonka,et al. THE JCOP FRAMEWORK , 2005 .
[11] P. Paolucci,et al. The detector control systems for the CMS Resistive Plate Chamber , 2010 .
[12] C. Gaspar,et al. SMI++ object oriented framework for designing and implementing distributed control systems , 1998, IEEE Symposium Conference Record Nuclear Science 2004..