TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Julkaisut

  1. Julkaistu

    Komponentin ja järjestelmän elinkaaren mallintaminen analyyttisillä menetelmillä

    Aaltonen, J., 2012, Hydraulijärjestelmien modernisointi, 21.-22.3.2012, Suomen ilmailumuseo, Vantaa, Kunnossapitoyhdistys. Helsinki: Kunnossapitoyhdistys ProMaint, s. 1-9 9 Sivumäärä

    Tutkimustuotos

  2. Julkaistu

    On horizontal specification architectures and their aspect-oriented implementations

    Aaltonen, T., Katara, M., Kurki-Suonio, R. & Mikkonen, T., 2006, julkaisussa : Lecture Notes in Computer Science. 4242, s. 1-29 29 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  3. Julkaistu

    Engineering Knowledge Systematization for Knowledge Based Expert System and Object-Oriented Database

    Aaltonen, A., 1996, Tampere: Tampereen teknillinen korkeakoulu. 87 Sivumäärä (Tampereen teknillinen korkeakoulu, Konetekniikan osasto, Koneensuunnittelu; nro 62)

    Tutkimustuotos

  4. Julkaistu

    Detecting and eliminating the measurement error caused by free air in aircraft hydraulic system on-line particle counting

    Aaltonen, J. & Koskinen, K. T., 2011, The Twelfth Scandinavian International Conference on Fluid Power, SICFP'11, May 18-20, 2011, Tampere, Finland. Tampere: Scandinavian International Conference on Fluid Power, s. 229-240 (Scandinavian International Conference on Fluid Power SICFP; painos 12, nro 1).

    Tutkimustuotosvertaisarvioitu

  5. Julkaistu

    Hyvä raportti

    Aaltonen, J., Korsman, U. & Laukkanen, S., 1995, Tampere: Tampereen teknillinen korkeakoulu. 111 Sivumäärä (Tampereen teknillinen korkeakoulu, Teollisuustalous, Opetusmonisteita Raportti; nro 2/95)

    Tutkimustuotos

  6. Julkaistu

    An Action-Oriented Programming Model for Pervasive Computing in a Device Cloud

    Aaltonen, T., Myllärniemi, V., Raatikainen, M., Mäkitalo, N. & Pääkkö, J., 2013, The 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Bangkok, Thailand, December 2-5, 2013. IEEE, s. 467-475 9 Sivumäärä (Asia-Pacific Software Engineering Conference).

    Tutkimustuotosvertaisarvioitu

  7. Julkaistu

    Managing software evolution with a formalised abstraction hierarchy

    Aaltonen, T. & Mikkonen, T., 2008, julkaisussa : International Journal of Computer Applications in Technology. 31, 1/2, s. 120-130

    Tutkimustuotosvertaisarvioitu

  8. Julkaistu

    Automaattinen komponenttien valintajärjestelmä

    Aaltonen, A., Paasiala, P. & Riitahuhta, A., 1993, Koneensuunnittelun XVIII kansallinen symposiumi Oulussa 7.-8.6.1993. Leinonen, T. (toim.). Oulu, s. 26-35 (Oulun yliopisto, Raportti; nro 92).

    Tutkimustuotos

  9. Julkaistu

    DISCO Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000. Schellhorn, G. (toim.). s. 11-15

    Tutkimustuotos

  10. 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

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