Overview in PDF format - Tallinna Tehnikaülikool
Overview in PDF format - Tallinna Tehnikaülikool
Overview in PDF format - Tallinna Tehnikaülikool
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
system <strong>in</strong> cooperation dur<strong>in</strong>g process run. The f<strong>in</strong>al <strong>in</strong>struction decision is madeonly after model checker's acceptance.3. The approach is illustrated by examples developed at Tall<strong>in</strong>n University ofTechnology. The elaborated model-check<strong>in</strong>g module can be implemented withm<strong>in</strong>or changes <strong>in</strong> other automated systems and is able to reduce hazardoussituations caused by <strong>in</strong>sufficient human competencies.42