-
1
A wireless portable high temperature data monitor for tunnel ovens
Veröffentlicht in Sensors (Basel, Switzerland)
VolltextArtikel -
2
-
3
Applying Model Checking to Industrial-Sized PLC Programs
Veröffentlicht in IEEE transactions on industrial informatics
VolltextArtikel -
4
Bringing Automated Model Checking to PLC Program Development — A CERN Case Study
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
5
Modelling and Formal Verification of Timing Aspects in Large PLC Programs
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
6
SOFTWARE TOOLS FOR PLC PROGRAMMING AND INTERNET HMI IN DOMOTICS
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
7
-
8
-
9
Prioritizing the reassessment of data‐deficient species on the IUCN Red List
Veröffentlicht in Conservation biology
VolltextArtikel -
10
-
11
-
12
Custom-Made Ion Exchange Membranes at Laboratory Scale for Reverse Electrodialysis
Veröffentlicht in Membranes (Basel)
VolltextArtikel -
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20