TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. Julkaistu

    Verification of the Behaviour of Reactive Software with CFFD-Semantics and Ara Tools

    Valmari, A. & Savola, R., 1996, Proceedings of an International Symposium 'On- Board-time Software', ESTEC, Noordwijk, 13-15 November 1995. ESA SP-375 ESA SP-375, s. 173-180

    Tutkimustuotos

  2. Julkaistu

    Verification of the consistency of timing constraints of the orchestration of factory automation web services

    Popescu, C. & Martinez Lastra, J. L., 2007, INDIN 2007, the 5th International Conference on Industrial Informatics, July 23-27, 2007, Vienna, Austria. s. 785-790

    Tutkimustuotos

  3. Julkaistu

    Verification of the reason for weld cracking

    Tiainen, T. & Huang, H., 1994, Tampere: Tampereen teknillinen korkeakoulu. 19 Sivumäärä (Tampereen teknillinen korkeakoulu, Materiaaliopin laitos, Raportti; nro 19/1994)

    Tutkimustuotos

  4. Julkaistu

    Verification of the Reasons for Weld Cracking in a High Strength Low Alloy Steel Joint

    Tiainen, T. & Huang, H., 1997, In: Book of Proceedings, The ASM International European Conference on Welding and Joining Science and Technology, Madrid, Spain, 10-12 March 1997. s. 608-614

    Tutkimustuotos

  5. Julkaistu

    Verification with the Undefined: A New Look

    Kangas, A. & Valmari, A., 2003, Proceedings. Eight International Workshop on Formal Methods for Industrial Critical Systems, Roros, Norway, June 5-7, 2003. Arts, T. & Fokkink, W. (toim.). s. 122-137

    Tutkimustuotosvertaisarvioitu

  6. Julkaistu

    Verifying External Data Memory Interface for H.263 Video DSP with Memory Simulator

    Alakarhu, J., Niittylahti, J., Sihvo, T. & Tanskanen, J., 2000, Proceedings, EUSIPCO 2000, September 4-8, 2000, Tampere, Finland. Gabbouj, M. (toim.). Tampere, s. 275-278

    Tutkimustuotos

  7. Julkaistu

    Verifying Real-Time Joint Action Specifications Using Timed Automata

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Yulin, F. (toim.). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, s. 516-525

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

    Aaltonen, T. & Pitkänen, R., 1999, Tampere: Tampereen teknillinen korkeakoulu. 27 Sivumäärä (Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti; nro 19)

    Tutkimustuotos

  9. Julkaistu

    Verifying the indication method for high-resistance earth faults implemented in centralized protection system

    Nikander, A., Valtari, J., Raipala, O. & Kettunen, E., 2013, 22nd International Conference and Exhibition on Electricity Distribution, CIRED 2013. 615 CP toim. Vuosikerta 2013. 1130

    Tutkimustuotosvertaisarvioitu

  10. Julkaistu

    Verifying the usefulness of linear model in the design of heavy pneumatic position servo

    Virvalo, T., 1995, Ninth World Congress on the Theory of Machines and Mechanisms, Milano , Italy, August 29-September 2. Milano, s. 1381-1385

    Tutkimustuotos

Lataa lista Rajaa hakutulokset 1 000 tai pienemmäksi jotta voit ladata.