- Tytuł:
- Improving Dependability of Automation for Free Electron Laser FLASH
- Autorzy:
-
Kosęda, B.
Szmuc, T.
Cichalewski, W. - Data publikacji:
- 2009
- Wydawca:
- Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
- Tematy:
-
automation
formal methods
model checking
expert system
Prolog
flash - Dostawca treści:
- Biblioteka Nauki
Artykuł