[ACM Press the 4th workshop - Bologna, Italy (1990.09.03-1990.09.05)] Proceedings of the 4th workshop on ACM SIGOPS European workshop - EW 4 - Transparent disconnected operation for fault-tolerance
- 作者Kistler, James Jay; Satyanarayanan, M.
- 文件大小251.84KB
- 发表时间1990
- DOI10.1145/504136.504143
- 页码1-4
Technical correspondence: updating a master file ---yet another timeJeffords, Ralph D. · Communications of the ACM · 1982
Model-based construction and verification of critical systems using composition and partial refinementRalph D. Jeffords; Constance L. Heitmeyer; Myla M. Archer; Elizabeth I. Leonard · 2010
[IEEE 2007 IEEE Aerospace Conference - Big Sky, MT, USA (2007.03.3-2007.03.10)] 2007 IEEE Aerospace Conference - Applying a Formal Requirements Method to Three NASA Systems: Lessons LearnedHeitmeyer, L.; Jeffords, Ralph D. · 2007
[IEEE 2012 10th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012) - Arlington, VA, USA (2012.07.16-2012.07.17)] Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012) - Direct generation of invariants for reactive modelsLeonard, Elizabeth I.; Archer, Myla M.; Heitmeyer, Constance L.; Jeffords, Ralph D. · 2012