Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Controlling Control Systems: An Application of Evolving Retrenchment
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Minimally and Maximally Abstract Retrenchments
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
A deidealisation semantics for KAOS
Proceedings of the 2010 ACM Symposium on Applied Computing
Retrenchment, and the generation of fault trees for static, dynamic and cyclic systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Hi-index | 0.00 |