52

Letter

Year:
1997
Language:
english
File:
PDF, 207 KB
english, 1997
55

Building meaningful timed models of closed-loop DES for verification purposes

Year:
2013
Language:
english
File:
PDF, 4.85 MB
english, 2013
75

The Role of Irrigation Expansion in Past and Future Temperature Trends

Year:
2008
Language:
english
File:
PDF, 399 KB
english, 2008
88

Safety-Level Aware Bin-Packing Approach for Control Functions Assignment

Year:
2015
Language:
english
File:
PDF, 404 KB
english, 2015
91

FROM FAULT TREE ANALYSIS TO MODEL CHECKING OF LOGIC CONTROLLERS

Year:
2005
Language:
english
File:
PDF, 372 KB
english, 2005
92

INCLUDING SYSTEMATIC FAULTS INTO FAULT TREE ANALYSIS

Year:
2006
Language:
english
File:
PDF, 198 KB
english, 2006
94

Preface

Year:
2007
Language:
english
File:
PDF, 61 KB
english, 2007
95

A conformance relation for model-based testing of PLC

Year:
2014
Language:
english
File:
PDF, 1.18 MB
english, 2014
96

Opacity of Discrete Event Systems: models, validation and quantification

Year:
2015
Language:
english
File:
PDF, 557 KB
english, 2015