Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Liitotsing

Valitud kirjed 0

Toom, Andres (autor)

—

—

Lisa tingimus Lihtotsing 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 15
Vaata veel.. (5/327)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Automatic code generation for safety critical embedded systems: developments in the Gene-Auto projectToom, AndresThirteenth Estonian Winter School in Computer Science (EWSCS'08) : Park Hotel Palmse, Lahemaa, Estonia : March 2-7, 20082008 / [1] p. (Student talks and posters 2008 (abstracts))

artikkel kogumikus
2

artikkel kogumikus

Between qualification and certification : specifying and verifying model transformations in an embedded code generatorToom, AndresInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis2010 / lk. 109-112 : ill

artikkel kogumikus
3

artikkel kogumikus EST / artikkel kogumikus ENG

Block library driven translation validation for dataflow models in safety critical systemsDieumegard, Arnaud; Toom, Andres; Pantel, MarcCritical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings2016 / p. 117-132 : ill https://doi.org/10.1007/978-3-319-45943-1_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
4

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
5

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
6

artikkel kogumikus

Ergonomic challenges in intelligent driver aid systems designToom, AndresRisk and Safety Management in Industry, Logistics, Transport and Military Service : New Solutions for the 21st Century : proceedings of the international scientific-educational conference : March 25-28, 2003, Tallinn2003 / p. 54-58 : ill https://artiklid.elnet.ee/record=b2141778*est

artikkel kogumikus
7

artikkel kogumikus

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK seitsmenda aastakonverentsi artiklite kogumik : 15.-16. novembril 2013, Haapsalu2013 / p. 17-19 : ill

artikkel kogumikus
8

artikkel kogumikus

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

artikkel kogumikus
9

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
10

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
11

artikkel kogumikus

Practical transformation verification with OCLToom, AndresInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 165-168 : ill

artikkel kogumikus
12

artikkel kogumikus

Specifying and verifying model transformations for certified systems using transformation modelsToom, Andres; Dieumegard, Arnaud; Pantel, MarcInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kuuenda aastakonverentsi artiklite kogumik : 3.-5. oktoobril 2012, Laulasmaa2012 / p. 97-100 : ill

artikkel kogumikus
13

artikkel ajakirjas

Tarkvara usaldusväärsusega seotud praktikatest ja suundumustest lennukitööstuses. Gene-Auto projekti kogemuste põhjalToom, AndresA & A2011 / 2, lk. 10-27 : ill https://artiklid.elnet.ee/record=b2431011*est

artikkel ajakirjas
14

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
15

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

Kirjeid leitud 15, kuvan 1 - 15

1. toom cook multiplier
2. Toom-cook

1. Andres Keevalliku nimeline stipendiumifond

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