Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification
Pedro R. G. Antonino‚ Marcel Vinicius Medeiros Oliveira‚ Augusto Sampaio‚ Klaus E. Kristensen and Jeremy W. Bryans
Book Title
NASA Formal Methods − 6th International Symposium‚ NFM 2014‚ Houston‚ TX‚ USA‚ April 29 − May 1‚ 2014. Proceedings
Pages
31–45
Year
2014