-
1
Risk reduction of operating procedures and process flowsheets
Veröffentlicht in Industrial & engineering chemistry research
VolltextArtikel -
2
-
3
-
4
Automatic verification of sequential control systems using temporal logic
Veröffentlicht in AIChE journal
VolltextArtikel -
5
-
6
-
7
Input Variable Expansion: An algorithmic design generation technique
Veröffentlicht in Research in engineering design
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
Computer-aided Synthesis of Fault-trees
Veröffentlicht in IEEE transactions on reliability
VolltextArtikel -
14
-
15
-
16
-
17
-
18
Update of Lapp-Powers Fault-Tree Synthesis Algorithm
Veröffentlicht in IEEE transactions on reliability
VolltextArtikel -
19
-
20