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
Description
ISSN:16191366
DOI:10.1007/s10270-013-0321-0