- Tytuł:
- Improving Dependability of Automation for Free Electron Laser FLASH
- Autorzy:
-
Kosęda, B.
Szmuc, T.
Cichalewski, W. - Data publikacji:
- 2009
- Słowa kluczowe:
-
automation
formal methods
model checking
expert system
Prolog
flash - Pokaż więcej
- Dostawca treści:
- BazTech