Case driven TLC model checker analysis in energy scenario
Today, model checking techniques and corresponding tools are widely applied in diverse case driven scenarios, the safety critical ones in particular. Addressing current situation in Ukraine, an energy domain is among the topical spheres, where safety critical business processes take place. To fos...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2023
|
| Online Access: | http://eprints.utem.edu.my/id/eprint/27907/1/Case%20driven%20TLC%20model%20checker%20analysis%20in%20energy%20scenario.pdf http://eprints.utem.edu.my/id/eprint/27907/ https://ceur-ws.org/Vol-3392/paper6.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universiti Teknikal Malaysia Melaka |
| Language: | English |