Searching - TalTech Research Portal

display

sort

401

book article

Mixed bottom-up/top-down hierarchical test generation for digital systemsUbar, Raimund-JohannesProceedings of the 9th European Workshop on Dependable Computing, Gdansk, Poland, May 14-16, 19981998 / p. 37-40

book article

402

book article

Mixed-level defect simulation in data-paths of digital systemsUbar, Raimund-Johannes; Raik, Jaan; Ivask, Eero; Brik, Marina23rd International Conference on Microelectronics : MIEL 2002, Niš, Yugoslavia, 12-15 May 2002 : proceedings. Volume 22002 / p. 617-620 : ill https://ieeexplore.ieee.org/document/1003333

book article

403

book article

Mixed-level deterministic-random test generation for digital systemsJervan, Gert; Markus, Antti; Raik, Jaan; Ubar, Raimund-JohannesProceedings of the 5th International Conference on Mixed Design of Integrated Circuits and Systems, Lodz, Poland, June 18-20, 19981998 / p. 335-340

book article

404

book article EST / book article ENG

Model based approach for testing: distributed real-time systems augmented with online monitorsPal, Deepak; Vain, JüriDatabases and Information Systems : 13th International Baltic Conference, DB&IS 2018, Trakai, Lithuania, July 1-4, 2018 : proceedings2018 / p. 142-157 https://doi.org/10.1007/978-3-319-97571-9_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

405

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

406

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

407

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

408

book article

Model of fracture micromechanism of Cu-Cr-Zr system by "in-situ" test in SEMBesterci, Michal; Ivan, Jozef; Kulu, Priit; Arensburger, Daniil; Velgosova, OksanaProceedings of 9th International Scientific Conference "Adhievements in Mechanical & Materials Engineering" : Gliwice, Poland, 11.-14.10.20002000 / p. 59-62 https://doiserbia.nb.rs/img/doi/1450-5339/2003/1450-53390304499B.pdf

book article

409

dissertation

Model synthesis from VHDL for the functional test generation systemKrupnova, Helena1993 https://www.ester.ee/record=b2090509*est

dissertation

410

book article

Model-based integration testing of ROS packages : a mobile robot case studyErnits, Juhan-Peep; Halling, Evelin; Kanter, Gert; Vain, Jüri2015 European Conference on Mobile Robots : Lincoln, United Kingdom, September 2-4, 2015 : conference proceedings2015 / [7] p. : ill http://dx.doi.org/10.1109/ECMR.2015.7324210

book article

411

book article

Model-based synthesis of reactive planning on-line testers for non-deterministic embedded systemsKääramees, Marko; Vain, Jüri; Raiend, KulloBEC 2010 : 2010 12th Biennial Baltic Electronics Conference : proceedings of the 12th Biennial Baltic Electronics Conference : Tallinn University of Technology, October 4-6, 2010, Tallinn, Estonia2010 / p. 189-192 : ill

book article

412

dissertation

Model-based testing framework for autonomous multi-robot systems = Mudelipõhine testimisraamistik autonoomsetele multirobotsüsteemideleKanter, Gert2020 https://digikogu.taltech.ee/et/Item/575133f2-f94a-49d4-a7c9-0615b54ae139 https://doi.org/10.23658/taltech.19/2020

dissertation

413

book article

Model-based testing of a web-based positioning applicationRoo, Rivo; Ernits, Juhan-Peep20th Nordic Workshop on Programming Theory : NWPT 2008 : Tallinn, Estonia, 19-21 November 2008 : abstracts2008 / p. 75-77 : ill https://link.springer.com/chapter/10.1007/978-3-642-05031-2_14

book article

414

dissertation

Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est

dissertation

415

book article EST / book article ENG

Model-based testing of real-time distributed systemsVain, Jüri; Halling, Evelin; Kanter, Gert; Anier, Aivo; Pal, DeepakDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 272-286 : ill https://doi.org/10.1007/978-3-319-40180-5_19 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

416

dissertation

Model-based testing of real-time distributed systems = Reaalaja hajussüsteemide mudelipõhine testiminePal, Deepak2020 https://www.ester.ee/record=b5389209*est https://digikogu.taltech.ee/et/Item/b919afec-e786-4e14-9918-7d8db3b20cfe

dissertation

417

book article

Model-based testing of robots with NMmodelErnits, Juhan-Peep; Veanes, Margus; Helander, JohannesTESTCOM/FATES 2008 : Tokyo, Japan, June 12-13, 2008 : short papers2008 / p. 40-49 https://www.researchgate.net/publication/228824559_Model-Based_Testing_of_Robots_with_NModel

book article

418

journal article EST / journal article ENG

Modeling and simulation of circuits with shared structurally synthesized BDDsUbar, Raimund-Johannes; Jürimägi, Lembit; Raik, Jaan; Viies, VladimirMicroprocessors and microsystems2017 / p. 56-61 : ill https://doi.org/10.1016/j.micpro.2016.09.006 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

419

book article

Modelling and testing of the properties of recovered composite materialKers, Jaan; Goljandin, Dmitri; Tall, Kaspar; Aruniit, Aare; Adoberg, Eron; Saarna, Mart; Majak, JüriProceedings of the Tenth International Conference on Computational Structures Technology : Valencia, Spain, 14-17 September 20102010 / Paper 81 https://www.researchgate.net/publication/269140253_Modelling_and_Testing_of_the_Properties_of_Recovered_Composite_Material

book article

420

journal article EST / journal article ENG

Moisture dry-out capability of steel-faced mineral wool insulated sandwich panelsKalbe, Kristo; Piikov, Hubert; Kalamees, TargoSustainability2021 / 18 p. : ill https://doi.org/10.3390/su12219020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

421

book article

Motion control system for ship model towing test tank control system using synchronous servo drivesLiyanage, Dhanushka Chamara; Hiiemaa, Maido; Tamre, MartProceedings of the 11th International Conference of DAAAM Baltic Industrial Engineering : 20-22th April 2016, Tallinn, Estonia2016 / p. 151-156 : ill http://innomet.ttu.ee/daaam/

book article

422

journal article EST / journal article ENG

Motor Mode Analysis of Exterior-Rotor PM Machine with Gramme's WindingNukki,Rene; Kilk, Aleksander; Saarts, Samo; Tiimus, KristjanElektronika ir elektrotechnika = Electronics and electrical engineering2017 / p. 21-25 : ill https://doi.org/10.5755/j01.eie.23.1.17579 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

423

book article

Mudelipõhine testimineKull, AndresTallinna Tehnikaülikooli aastaraamat 20102011 / lk. 115-118

book article

424

journal article

Mudelipõhine testimine : kas teoreetikute näpuharjutus või testimise homne päev?Markvardt, MailiA & A2010 / 3, lk. 48-56 https://artiklid.elnet.ee/record=b2183739*est

journal article

425

book article EST / book article ENG

Multi-fragment Markov model guided online test generation for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, JaanICTERI 2017 : ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer : proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15-18, 20172017 / p. 594-607 : ill http://www.scopus.com/inward/record.uri?eid=2-s2.0-85020540459&partnerID=40&md5=af226e25c344c52689f23bf5c39cc267 http://ceur-ws.org/Vol-1844/10000594.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

testimine (subject term)

types of item

subject term 1

keyword 1