Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Näks, Tõnu (TTÜ autor)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 21
Vaata veel.. (3/128)
Ekspordi

ekspordi kõik päringu tulemused (21)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.]

artikkel kogumikus
2

artikkel kogumikus

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, Marc6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts2012 / p. 147

artikkel kogumikus
3

artikkel kogumikus

Design of real-time systems using timed object modellingNäks, TõnuThe 3rd Baltic Summer School on Information Technology and Systems Engineering, 1-5 August, 1995, Klaipeda : theses1995 / p. 43-47

artikkel kogumikus
4

artikkel kogumikus

Enhancing object modelling technique with timing analysis capabilitiesMõtus, Leo; Kinksaar, Riho; Näks, Tõnu; Pall, MartinFirst IEEE International Conference on Engineering Complex Computer Systems : Ft. Lauderdale, Florida, USA, November 6-10, 19951995 / p. 298-301

artikkel kogumikus
5

artikkel kogumikus

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuThird International Workshop on Object-Oriented Real-Time Dependable Systems, February5-7, 1997, Newport Beach, California, USA1997 / p. 137-144

artikkel kogumikus
6

artikkel ajakirjas

Formal timing analysis of OMT designs using LIMITSMõtus, Leo; Näks, TõnuComputer systems science and engineering1998 / 3, p. 161-170 : ill

artikkel ajakirjas
7

artikkel kogumikus

Gene-auto : an automatic code generator for a safe subset of Simulink/Stateflow and ScicosToom, Andres; Näks, Tõnu; Pantel, M.; Gandriau, M.; Wati, I.Embedded Real Time Software : ERTS 2008 : Toulouse, France2008 https://www.researchgate.net/publication/302984605_Gene-Auto_an_Automatic_Code_Generator_for_a_safe_subset_of_SimulinkStateflow_and_Scicos

artikkel kogumikus
8

artikkel kogumikus

Handling timing in a time-critical reasoning system - a case studyMõtus, Leo; Näks, TõnuPostprints of IFAC Symposium on Artificial Intelligence in Real-time Control : Grand Canyon, Arizona, USA1999 / p. 67-75

artikkel kogumikus
9

artikkel ajakirjas

Handling timing in a time-critical reasoning system - a case studyNäks, Tõnu; Mõtus, LeoAnnual reviews in control2001 / p. 157-168 https://www.sciencedirect.com/science/article/pii/S1367578801000153

artikkel ajakirjas
10

artikkel kogumikus

Information and communication technologies within e-maintenanceArnaiz, Aitor; Iung, Benoit; Adgar, Adam; Näks, Tõnu; Tohver, Avo; Tommingas, Toomas; Levrat, EricE-maintenance2010 / p. 39-60 https://www.researchgate.net/publication/281922080_Information_and_Communication_Technologies_Within_E-maintenance

artikkel kogumikus
11

artikkel ajakirjas

Koodigeneraatorid programmeerija tööpõllulNäks, TõnuArvutimaailm2007 / 6, lk. 70-72

artikkel ajakirjas
12

artikkel kogumikus

LIMITS - OMT with timing analysis supportNäks, TõnuWorkshop on Tool Support for System Development and Verification, Bremen, June 19961996

artikkel kogumikus
13

artikkel kogumikus

A method and a tool for formal timing analysis of OMT designMõtus, Leo; Näks, TõnuIFAC/IFIP 21st Workshop on Real-time Programming, Gramado, Brazil, November 19961996 / [25] p

artikkel kogumikus
14

artikkel kogumikus

Model transformations in the Gene-Auto Automatic Code GenerationToom, Andres; Näks, TõnuInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26. aprill 2008, Voore külalistemaja2008 / p. 126-129 : ill

artikkel kogumikus
15

artikkel kogumikus

Real-time behaviour verification, animation and monitoring starting from DCCS specificationMõtus, Leo; Näks, TõnuDCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints2000 / p. 85-92

artikkel kogumikus
16

artikkel kogumikus

Software infrastructure models for automatic code generationNäks, TõnuInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 88-90 : ill

artikkel kogumikus
17

artikkel kogumikus

Time models as used in Q-model and suggested for RT UMLMõtus, Leo; Näks, TõnuWorld Multiconference on Systemics, Cybernetics and Informatics : July 22-25, 2001 : proceedings. Volume XI, Information Systems Technology2001 / p. 467-472

artikkel kogumikus
18

artikkel kogumikus

Timing analysis in OO system life-cyclesMõtus, Leo; Näks, Tõnu; Holt, Jon D.Proceedings : First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98) : April 20-22, 1998, Kyoto, Japan1998 / p. 327-334

artikkel kogumikus
19

artikkel ajakirjas

Towards reliable code generation with an open tool : evolutions of the Gene-Auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.Ingénieurs de l'Automobile2010 / p. 29-35 https://hal.science/hal-02267640/document

artikkel ajakirjas
20

artikkel kogumikus

Towards reliable code generation with an open tool : evolutions of the gene-auto toolsetToom, Andres; Izerrouken, N.; Näks, Tõnu; Pantel, M.; Ssi Yan Kai, O.5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems : 19-21 May 2010, Toulouse, France2010 / [10] p https://hal.science/hal-02267640/document

artikkel kogumikus
21

artikkel ajakirjas EST / artikkel ajakirjas ENG

Using spark to ensure system to software integrity : a case studyNäks, Tõnu; Aiello, M.A.; Taft, S.T.Ada user journal2019 / p. 226-229 : ill https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 21, kuvan 1 - 21

1. Altosaar, Tõnu, 1943-
2. Esko, Tõnu
3. Esko, Tõnu, 1985-
4. Kark, Tõnu
5. Kasikov, Tõnu
6. Kauba, Tõnu
7. Koger, Tõnu, 1944-2004
8. Kõrvits, Tõnu
9. Lehtla, Tõnu, 1947-
10. Lelumees, Tõnu
11. Liik, Tõnu
12. Martma, Tõnu, 1955-
13. Meidla, Tõnu, 1959-
14. Peipman, Tõnu
15. Pihelgas, Tõnu
16. Pihu, Tõnu
17. Raimla, Tõnu
18. Ruus, Tõnu
19. Talivee, Tõnu
20. Talpsep, Tõnu
21. Tamm, Tõnu, 1941-2004
22. Tomberg, Tõnu
23. Toompark, Tõnu
24. Trump, Tõnu
25. Tõniste, Tõnu
26. Viik, Tõnu
27. Viik, Tõnu, 1968-

1. Näks, Tõnu 1971
2. Arulaane, Tõnu 1954
3. Kelder, Tõnu 1948
4. Keskküla, Tõnu 1938-2011
5. Koger, Tõnu 1944-2004
6. Kumari, Tõnu
7. Kurissoo, Tõnu 1942
8. Lausmaa, Tõnu 1941
9. Lehtla, Tõnu 1947
10. Ligi, Tõnu 1958
11. Lohuaru, Tõnu 1939
12. Lumberg, Tõnu 1956
13. Martma, Tõnu 1955
14. Must, Tõnu-Aare 1942
15. Peipman, Tõnu 1955
16. Pihu, Tõnu 1957
17. Reintamm, Tõnu 1963
18. Roosaar, Tõnu 1978
19. Ruus, Tõnu 1940-2019
20. Suurkuusk, Tõnu 1940
21. Tomberg, Tõnu 1963
22. Trumm, Tõnu 1955
23. Trump, Tõnu 1961

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu