Implementing a new international paper mill efficiency standard - using computational correctness criteria to model and verify timed events
| Tekijä | Veijalainen, J., Berki, E., Lehmonen, J. & Moisanen, P. |
|---|---|
| Lehden/sarjan nimi | In: Eleftherakis, G. & Zdravkova, K. (eds.). Proceedings of SEEFMo5 - 2nd South-East European Workshop on Formal Methods, Practical dimensions: Challenges in the business world, 17-19 November, 2005, Ohrid, Former Yugoslavian Republic of Macedonia |
| Julkaisuvuosi | 2005 |
| Sivut | 16 p |
| Julkaisutyyppi | b3 j2tut Vertaisarvioimaton artikkeli ja esitelmä tieteellisessä konferenssijulkaisussa, kansainvälinen |
| Laitos | Mittaus- ja informaatiotekniikka |