Dynamically Detecting Faults via Integrity Constraints
暂无分享,去创建一个
[1] Didier Bert. B’98: Recent Advances in the Development and Use of the B Method , 1998, Lecture Notes in Computer Science.
[2] Colin J. Fidge,et al. The deadline command , 1999, IEE Proc. Softw..
[3] Kaisa Sere,et al. Action Systems with Synchronous Communication , 1994, PROCOMET.
[4] Torres Wilfredo,et al. Software Fault Tolerance: A Tutorial , 2000 .
[5] Jim Woodcock,et al. Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 , 2007, Formal Methods and Hybrid Real-Time Systems.
[6] Paul Caspi,et al. Threshold and Bounded-Delay Voting in Critical Control Systems , 2000, FTRTFT.
[7] Jean-Raymond Abrial,et al. Introducing Dynamic Constraints in B , 1998, B.
[8] Egon Börger,et al. Formal Methods for Industrial Applications , 1996, Lecture Notes in Computer Science.
[9] Stefania Gnesi,et al. FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings , 2003, Lecture Notes in Computer Science.
[10] Neil R. Storey,et al. Safety-critical computer systems , 1996 .
[11] Ian J. Hayes,et al. A sequential real-time refinement calculus , 2001, Acta Informatica.
[12] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[13] Max Breitling,et al. Modeling Faults of Distributed, Reactive Systems , 2000, FTRTFT.
[14] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[15] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.
[16] Michael A. Jackson,et al. Problem Frames - Analysing and Structuring Software Development Problems , 2000 .
[17] Cliff B. Jones,et al. Determining the Specification of a Control System from That of Its Environment , 2003, FME.
[18] Hermann Kopetz,et al. Fault tolerance, principles and practice , 1990 .
[19] Kaisa Sere,et al. An Action System Approach to the Steam Boiler Problem , 1995, Formal Methods for Industrial Applications.
[20] Robert Hanmer,et al. Patterns for Fault Tolerant Software , 2007 .
[21] Brian Randell,et al. On Failures and Faults , 2003, FME.
[22] Joost-Pieter Katoen,et al. A probabilistic extension of UML statecharts: Specification and Verification. , 2002 .
[23] Cliff B. Jones,et al. Deriving Specifications for Systems That Are Connected to the Physical World , 2007, Formal Methods and Hybrid Real-Time Systems.