11.07.2015 Views

Overview in PDF format - Tallinna Tehnikaülikool

Overview in PDF format - Tallinna Tehnikaülikool

Overview in PDF format - Tallinna Tehnikaülikool

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!