TUTCRIS - Tampereen teknillinen yliopisto



  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


  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


  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)


  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


  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


  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


  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


  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)


  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


  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


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