Verification of an industrial rule-based manufacturing system using REX
暂无分享,去创建一个
[1] Jonathan P. Bowen,et al. High-Integrity System Specification and Design , 1999, Formal Approaches to Computing and Information Technology (FACIT).
[2] Mikael Berndtsson,et al. Seamless formal verification of complex event processing applications , 2007, DEBS '07.
[3] Anthony Hall. Using Formal Methods to Develop an ATC Information System , 1996, IEEE Softw..
[4] AnnMarie Ericsson. Verifying an industrial system using REX. , 2008 .
[5] Wang Yi,et al. UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.
[6] James Bailey,et al. On the decidability of the termination problem of active database systems , 2004, Theor. Comput. Sci..
[7] CeriStefano,et al. Compile-Time and Runtime Analysis of Active Behaviors , 1998 .
[8] Thierry Coupaye,et al. 3D visualization of rule processing in active databases , 1997, NPIV '97.
[9] Jennifer Widom,et al. Static analysis techniques for predicting the behavior of active database rules , 1995, TODS.
[10] Luciano Baresi,et al. Introducing Formal Specification Methods in Industrial Practice , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[11] Elena Baralis,et al. Improving Rule Analysis by Means of Triggering and Activation Graphs , 1995, Rules in Database Systems.
[12] Mikael Berndtsson,et al. REX, the rule and event eXplorer , 2007, DEBS '07.
[13] Elena Baralis,et al. Compile-Time and Runtime Analysis of Active Behaviors , 1998, IEEE Trans. Knowl. Data Eng..
[14] James Bailey,et al. Decidability and undecidability results for the termination problem of active database rules , 1998, PODS '98.
[15] Mokrane Bouzeghoub,et al. VITAL: A Visual Tool for Analysis of Rules Behaviour in Active Databases , 1995, Rules in Database Systems.
[16] Jonathan P. Bowen,et al. Ten Commandments of Formal Methods , 1995, Computer.
[17] Tomas Fors. Visualization of Rule Behaviour in Active Databases , 1995, VDB.
[18] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[19] London South. Ten Commandments of Formal Methods … Ten Years Later , 2006 .
[20] George S. Avrunin,et al. Property specification patterns for finite-state verification , 1998, FMSP '98.
[21] Stefano Ceri,et al. Modeling web applications reacting to user behaviors , 2006, Comput. Networks.
[22] T. Fors. Visualization of rule behaviour in active database , 1997 .
[23] José Júlio Alferes,et al. State-of-the-art on evolution and reactivity , 2004 .