Searching - TalTech Research Portal

display

sort

58051

book article

Model based framework for testing distributed systemsPal, Deepak; Vain, JüriProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 91-94 : ill

book article

58052

dissertation

Model based mechatronic systems modeling methodology in conceptual design stageSell, Raivo2007 https://www.ester.ee/record=b2298261*est

dissertation

58053

dissertation

Model based method for adaptive decomposition of the thoracic bio-impedance variations into cardiac and respiratory components = Mudelipõhine meetod torso bioimpedantsi muutuste adaptiivseks dekompositsiooniks südametegevuse ja hingamise komponentideksKrivošei, Andrei2009 https://www.ester.ee/record=b2508758*est

dissertation

58054

book article

Model based power estimation for centrifugal pumpsGevorkov, Levon16th International Symposium "Topical Problems in the Field of Electrical and Power Engineering. Doctoral School of Energy and Geotechnology III" : Pärnu, Estonia, January 16-21, 20172017 / p. 97-100 : ill http://www.ester.ee/record=b4650094*est

book article

58055

book article EST / book article ENG

Model based Test framework for communications-critical internet of things systemsPal, Deepak; Vain, JüriDatabases and information systems X : selected papers from the thirteenth International Baltic Conference, DB&IS 20182019 / p. 79-94 https://www.ester.ee/record=b5203991*est https://doi.org/10.3233/978-1-61499-941-6-79 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

58056

book article

Model based testing of distributed time critical systemsVain, Jüri; Kanter, Gert; Srinivasan, Seshadhri2017 6th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO 2017) : Noida, India 20-22 September 20172017 / p. 99-105 : ill https://doi.org/10.1109/ICRITO.2017.8342406

book article

58057

book article

Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]Vain, Jüri; Küttner, Rein5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers)2001 / p. 593-598 : ill. [CD-ROM]

book article

58058

book article

Model checking emerging behavior properties of robot swarmsJuurik, Silver; Vain, Jüri21st Nordic Workshop on Programming Theory : NWPT 2009 : Lyngby, Denmark, 14-16 October 2009 : proceedings2009 / p. 68-70 https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

book article

58059

book article

Model checking for planning resource-sharing productionVain, Jüri; Otto, Tauno; Kuusik, AlarProceedings 20th International Conference on CAD/CAM, Robotics and Factories of the Future : July 21, 22 and 23, 2004, San Cristobal - Venezuela2004 / p. 151-158

book article

58060

book article

Model checking in pattern based control systems designVain, Jüri; Ernits, Juhan-Peep15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts2002 / p. 112

book article

58061

book article

Model checking in pattern based control systems design [Electronic resource]Vain, Jüri; Ernits, Juhan-PeepProceedings of the 15th IFAC World Congress : Barcelona, Spain, 20022002 / [6] p. : ill. [CD-ROM]

book article

58062

book article

Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, JüriInformation Control Problems in Manufacturing 2006 : a proceedings volume from the 12th IFAC International Symposium : St.Etienne, France. 22006 / p. 523-528 https://www.sciencedirect.com/science/article/pii/S1474667015359991

book article

58063

book article

Model checking in planning resource-sharing based manufacturingOtto, Tauno; Vain, Jüri12th IFAC Symposium on Information Control Problems in Manufacturing : preprints. Vol. II, Industrial Engineering2006 / p. 535-540 https://www.sciencedirect.com/science/article/pii/S1474667015359991

book article

58064

journal article

Model checking of emergent behaviour properties of robot swarmsJuurik, Silver; Vain, JüriProceedings of the Estonian Academy of Sciences2011 / 1, p. 48-54 : ill https://www.researchgate.net/publication/228525009_Model_checking_of_emergent_behaviour_properties_of_robot_swarms

journal article

58065

journal article

Model checking response times in Networked Automation Systems using jitter boundsSrinivasan, Seshadhri; Buonopane, Furio; Vain, Jüri; Ramaswamy, SriniComputers in industry2015 / p. 186-200 http://dx.doi.org/10.1016/j.compind.2015.06.012

journal article

58066

journal article

Model Driven ArchitectureLeis, PaulA & A2004 / 1, lk. 13-20 : ill https://artiklid.elnet.ee/record=b1014997*est

journal article

58067

book article

Model driven development of networked embedded systemsKarpištšenko, AndreEleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 20062006 / [1] p

book article

58068

book article

Model driven engineering in automatic test generationDomiczi, E.; Vain, JüriProceedings of the NWUML'2005 : The Nordic Workshop on UML and Software Modeling2005 / p. 208-216

book article

58069

book article

Model for energy management of residential building heating systemGevorkov, Levon; Šmidl, Vaclav; Sirovy, Martin; Rassõlkin, Anton; Kallaste, Ants; Vaimann, Toomas2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 20202020 / 4 p https://doi.org/10.1109/IWED48848.2020.9069503

book article

58070

journal article EST / journal article ENG

Model for leisure boat activities and emissions - implementation for the Baltic SeaJohansson, Lasse; Ytreberg, Erik; Jalkanen, Jukka-Pekka; Fridell, Erik; Eriksson, K. Martin; Lagerström, Maria; Maljutenko, Ilja; Raudsepp, Urmas; Fischer, Vivian; Roth, EvaOcean science2020 / p. 1143-1163 https://doi.org/10.5194/os-16-1143-2020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

58071

book article

Model for risk assessment of dust and chemicals in the work environmentTraumann, Ada; Tint, Piia; Reinhold, Karin3rd Workplace and Indoor Aerosols Conference AEROSOLS 2014 : 13th-16th May, 2014, Wroclaw, Poland : program [and abstracts]2014 / p. 31-32 : tab

book article

58072

book article

Model for smart, self-learning and adaptive resilience buildingKaklauskas, Arturas; Lill, Irene; Amaratunga, Dilanthi; Ubarte, IevaProceedings of the 10th Nordic Conference on Construction Economics and Organization (CEO 2019), May 7-8, 2019, Tallinn, Estonia2019 / p. 315−324 : ill https://doi.org/10.1108/S2516-285320190000002017

book article

58073

journal article

Model for stress-dependent hysteresis in electrical steel sheets including orthotropic anisotropyRasilo, Paavo; Steentjes, S.; Belahcen, Anouar; Kouhia, Reijo; Hameyer, KayIEEE transactions on magnetics2017 / art. 2001004, 4 p. : ill http://dx.doi.org/10.1109/TMAG.2017.2659784

journal article

58074

dissertation

Model for the analysis of combined heat and power production = Soojuse ja elektri koostootmise analüüsi mudelLatõšov, Eduard2011

dissertation

58075

journal article

Model for the formation of "optimal" vortex rings with taking into account viscosity [Electronic resource]Kaplanski, Felix; Rudi, ÜloProceedings of the 21st IUTAM Congress : Warsaw, Poland2005 / p. FM25 [CD-ROM]

journal article

types of item