E. Canver

Rigorous development of a safety-critical system based on coordinated atomic actions

Jie Xu, Brian Randell, R.J. Romanovsky et al. · 2003 · 41 citations

Engineering, Industrial Engineering, Systems Engineering +17

Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions

Jianliang Xu, Brian Randell, Alexander Romanovsky et al. · IEEE Transactions on Computers · 2002 · 36 citations · Full text

Engineering, Computer Science, Systems Engineering +17

The Verification Support Environment VSE

Baur, T. Plasa, P. Kejwal et al. · IFAC Proceedings Volumes · 1992 · 25 citations

Computing, Computer Engineering, Computer Science +9

Comparison of Object-Oriented Formal Methods

Nicolas Guelfi, Olivier Biberstein, Didier Buchs et al. · 1997 · 13 citations

Computing, Computer Science, Formal Methods +11