Specification, design and validation of distributed control system: the ACSY-R model
AUTOMATIQUE PRODUCTIQUE INFORMATIQUE INDUSTRIELLE ; 30 , 1 ; 25-62
1996-01-01
38 pages
Article (Journal)
French
DDC: | 629.89 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Validation of Control Software Specification Using Design Interests Extraction and Model Checking
British Library Conference Proceedings | 2012
|Validation of Control Software Specification Using Design Interests Extraction and Model Checking
SAE Technical Papers | 2012
|A magnetospheric specification model validation study: Geosynchronous electrons
Tema Archive | 2000
|Specification and enforcement in distributed usage control
TIBKAT | 2007
|