Subject: Discrete Event Systems -- Dependability -- Model Checking -- Property Specification Patterns - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject Discrete Event Systems -- Dependability -- Model Checking -- Property Specification Patterns

1. A Specification Patterns System for Discrete Event Systems Analysis. (27th August 2013)

Authors:: Campos, Jose Creissac; Machado, Jose
Journal:: International journal of advanced robotic systems
Issue:: Volume 10:Number 8(2013)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗