View in EDS PDF Full Text

Procedure-modular specification and verification of temporal safety properties.

Saved in:
Bibliographic Details
Title: Procedure-modular specification and verification of temporal safety properties.
Authors: Soleimanifard, Siavash1, siavashs@csc.kth.se, Gurov, Dilian1, Huisman, Marieke2
Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p83-100, 18p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first