2002 | ||
---|---|---|
4 | Gunnar Grossschmidt, Mait Harf: Multi-Pole Modelling and Simulation of a Four Way Valve Controlled Fluid Power System in NUT Programming Environment. ESM 2002: 677-681 | |
2001 | ||
3 | EE | Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu: Automated Program Synthesis for Java Programming Language. Ershov Memorial Conference 2001: 157-164 |
2000 | ||
2 | Gunnar Grossschmidt, Jüri Vanaveski, Mait Harf: Simulation of Hydraulic chains using multi-pole models in the NUT programming environment. ESM 2000: 709-713 | |
1 | EE | Vahur Kotkas, Peep Küngas, Mait Harf: The Cash-Point Service in NUT. Formal Asp. Comput. 12(4): 222-224 (2000) |
1 | Gunnar Grossschmidt | [2] [4] |
2 | Kristiina Kindel | [3] |
3 | Vahur Kotkas | [1] [3] |
4 | Peep Küngas | [1] [3] |
5 | Enn Tyugu | [3] |
6 | Jüri Vanaveski | [2] |