Treffer: Formal Verification of Distributed Transaction Management in a SOA Based Control System
Title:
Formal Verification of Distributed Transaction Management in a SOA Based Control System
Authors:
Source:
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on. :206-215 Apr, 2011
Relation:
2011 18th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)
Database:
IEEE Xplore Digital Library