229 followers
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. - Pedro R. G. Antonino,… http://t.co/30EQAOlsWK
Leadership Election: An Industrial SoS Application of Compositional Deadlock Verification. - Pedro R. G. Antonino,… http://t.co/30EQAOlsWK
Verifying Hybrid Systems Involving Transcendental Functions. - Paul B. Jackson, Andrew Sogokon, James P. Bridge,… http://t.co/Um1pHHT2F8
REFINER: Towards Formal Verification of Model Transformations http://t.co/fwiyev30xR #springerlink