About this scholarly article

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Extended abstract: formal verification of architectural patterns in support of dependable distributed systems by Jeffords, R.; Bharadwaj, R. is a scholarly article available to read on EtoBox.

Author

Jeffords, R.; Bharadwaj, R.

Publisher

IEEE

Published

2005