Formal verification of maritime autonomous systems using UPPAAL STRATEGOShokri-Manninen, Fatima; Vain, Jüri; Walden, Marina31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 58-61 : ill https://doi.org/10.23658/taltech.nwpt/2019

MS Excel : arendussüsteem Visual BasicVilipõld, Jüri1999 https://www.ester.ee/record=b1206288*est

MS Excel : arendussüsteem Visual BasicVilipõld, Jüri2000 https://www.ester.ee/record=b1206288*est

MS Excel : arendussüsteem Visual BasicVilipõld, Jüri2001 https://www.ester.ee/record=b1206288*est

MS Excel : arendussüsteem Visual BasicVilipõld, Jüri2003

MS Excel : arendussüsteem Visual BasicVilipõld, Jüri2006 https://www.ester.ee/record=b1206288*est

TURBO TESTER : a set of software tools for CAD of test for digital circuitsUbar, Raimund-Johannes; Tulit, Viljar; Buldas, Ahto; Saarepera, MärtFourth EUROCHIP Workshop on VLSI Design Training, 29 September to 1 October 1993, [Toledo]1993 / p. 396

12th Symposium on Programming Languages and Software Tools : SPLST'11 : Tallinn, Estonia, 5-7 October 2011 : proceedings2011 http://www.ester.ee/record=b2718552*est

12th Workshop on Language Descriptions, Tools and Applications : LDTA 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : pre-proceedings2012 https://www.ester.ee/record=b2769319*est