Combining conceptual modelling and formal methods to design control systems
Vain, Jüri
;
Hooman, J.
Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 1997
1997
/
p. 109-118
Early design and simulation toolkit for mobile robot platforms
Sell, Raivo
;
Petritšenko, Andres
International journal of product development
2013
/
p. 168-192
https://doi.org/10.1504/IJPD.2013.053499
https://www.scopus.com/sourceid/4000149502
https://www.scopus.com/record/display.uri?eid=2-s2.0-84877742655&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=DOI%2810.1504%2FIJPD.2013.053499%29&sessionSearchId=f124baea23c7e59a88234b4350eaca80