Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving
Crossref DOI link: https://doi.org/10.1007/s11334-015-0244-8
Published Online: 2015-03-24
Published Print: 2015-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Drusinsky, Doron
Text and Data Mining valid from 2015-03-24