A flexible contracts approach to system resiliency
- 1 October 2014
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- OCRA: A tool for checking the refinement of temporal contractsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- A Property-Based Proof System for Contract-Based DesignPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*European Journal of Control, 2012
- CTL-Like Fragments of a Temporal Logic of RobustnessPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- On the Expressivity of RoCTL*Published by Institute of Electrical and Electronics Engineers (IEEE) ,2009
- Design by Contract to Improve Software VigilanceIEEE Transactions on Software Engineering, 2006
- Modeling and Verification of Distributed Autonomous Agents Using Logic ProgrammingLecture Notes in Computer Science, 2005
- Model-based programming of intelligent embedded systems and robotic space explorersProceedings of the IEEE, 2003
- A tutorial on hidden Markov models and selected applications in speech recognitionProceedings of the IEEE, 1989
- A New Approach to Linear Filtering and Prediction ProblemsJournal of Basic Engineering, 1960