Search - TalTech raamatukogu digikogu

Select collection select all remove selection

annual reports of research & development activities

articles

bachelor's theses

conference proceedings

digitized periodicals

diploma theses

dissertations

history of TalTech

IOP

library publications

master's theses

pre-dissertations

research reports

standards

textbooks and teaching materials

transactions of TalTech

varia

title

author/supervisor/editor

structural unit

keyword

publication year

-

Sort by

Index

Vain, Jüri - author

find full texts

items found: 12

1. An integrated technique for developing real-time systems Hooman, J.; Vain, Jüri1995 research reports
2. Combining conceptual modeling and formal methods to design control systems Hooman, Josef; Vain, Jüri1997 research reports
3. Scheduling in real-time models Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri1992 research reports
4. Real-time specification and modelling with joint actions Kurki-Suonio, Reino; Systä, Kari; Vain, Jüri1992 research reports
5. A modelling framework for integrated factory automation Littover, Mati; Randvee, Ingmar; Tavast, Raul; Vain, Jüri1992 research reports
6. AS Tallinna Paber infosüsteemi andmebaasi projekt. Data base design for AS Tallinna Paber information system Littover, Mati; Randvee, Ingmar; Vain, Jüri1992 research reports
7. Multi-level classification method of knowledge Riismaa, Tiit; Vain, Jüri1995 research reports
8. Time-invariant transformations of joint action systems Vain, Jüri1992 research reports
9. International summer school on real-time fault-tolerance and artificial intelligence, Neeruti (Estonia), June 30 - July 2, 1992 Vain, Jüri1992 research reports
10. Developing constructive requirements specifications for CIM systems Vain, Jüri1992 research reports
11. Compositional specification and verification of hybrid systems Vain, Jüri1993 research reports
12. Integrating methods for the design of real-time systems Vain, Jüri; Hooman, Jozef1996 research reports

items found: 12

1

TalTech Digikogu