Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
code generation (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(1/121)
Export
export all inquiry results
(3)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article
Compilation of heterogeneous models : motivations and challenges
Bordin, Matteo
;
Näks, Tõnu
;
Toom, Andres
;
Pantel, Marc
ERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]
2012
/
[10 p.]
https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1
book article
2
book article
Compilation of heterogeneous models : motivations and challenges
Bordin, Matteo
;
Näks, Tõnu
;
Toom, Andres
;
Pantel, Marc
6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012, Touluse, France : book of abstracts
2012
/
p. 147
https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1
book article
3
book article EST
/
book article ENG
Test adapter generation based on assume/guarantee contracts for verification of cyber-physical systems
Guin, Jishu
;
Vain, Jüri
;
Tsiopoulos, Leonidas
MODELSWARD 2025 : 13th International Conference on Model-Based Software and Systems Engineering, Proceedings, Porto, Portugal, 26-28 February, 2025
2025
/
p. 297–304
http://doi.org/10.5220/0013322100003896
https://www.scitepress.org/PublicationsDetail.aspx?ID=TcnFenKjQbg=&t=1
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
Number of records 3, displaying
1 - 3
keyword
121
1.
automated code generation
2.
automatic code generation
3.
code generation
4.
AI code assistants
5.
code
6.
Code of Practice on Disinformation
7.
code coverage
8.
Code of Ethics for Professional Accountants
9.
code smell
10.
Code system
11.
code-coverage
12.
dynamic QR-code
13.
epigenetic code
14.
error correction code
15.
European Code of Conduct for Research Integrity
16.
Grid Code
17.
IGF Code
18.
JEL Code. I21
19.
low-/no-code
20.
low-code
21.
low-code development
22.
message authentication code
23.
polar code
24.
Russian water code
25.
static code analyser
26.
Activity-based demand generation
27.
adaptive test strategy generation
28.
automated test pattern generation
29.
Automatic generation control
30.
automatic GUI model generation
31.
automatic test case generation
32.
automatic test pattern generation
33.
automatic test program generation
34.
behaviour level test generation
35.
building and urban form generation
36.
business model generation
37.
data set generation
38.
decentralized key generation
39.
disaster alert generation
40.
distributed electricity generation
41.
distributed generation
42.
Distributed Generation (DG)
43.
distributed generation systems
44.
distributed power generation
45.
distrubuted power generation
46.
droplet generation
47.
droplet generation rate control
48.
electric power generation
49.
electricity generation
50.
energy generation
51.
extreme penetration level of non synchronous generation
52.
feasible path generation
53.
fifth generation computer
54.
food waste generation
55.
fourth generation district heating
56.
frequent item generation
57.
functional test generation
58.
generation
59.
generation and transmission expansion planning
60.
Generation Costs
61.
generation of electric energy
62.
generation scheduling
63.
generation succession
64.
heat generation
65.
Hierarchical Multi-level Test Generation
66.
high-level test data generation
67.
highlevel test generation
68.
hydroelectric power generation
69.
hydrogen generation
70.
I–III generation
71.
implementation-independent test generation
72.
job generation
73.
knowledge generation
74.
multisine generation
75.
next generation 4D printing
76.
next generation sequencing
77.
Next-generation probiotics
78.
next-generation sequencing
79.
offline test generation
80.
oil-shale power generation
81.
pattern Generation
82.
photovoltaic (PV) generation
83.
photovoltaic generation dispatch
84.
power generation
85.
power generation dispatch
86.
power generation economics
87.
power generation planning
88.
provably correct test generation
89.
PV generation
90.
PV power generation
91.
real-time alert generation
92.
Renewable energy generation
93.
renewable generation
94.
residual generation
95.
rule generation
96.
Scenario Generation
97.
Second generation bioethanol
98.
second generation of tribology models
99.
second generation sequencing
100.
signal generation
101.
silver generation
102.
sixth-generation (6G)
103.
solar power generation
104.
space generation advisory council
105.
template based sql generation
106.
test generation
107.
test generation and fault diagnosis
108.
Test Group Generation for Detecting Multiple Faults
109.
test program generation
110.
trajectory generation
111.
waste generation
112.
wave generation
113.
WEEE generation
114.
white light generation
115.
wind energy generation
116.
wind generation
117.
wind power generation
118.
16S rRNA gene amplicon next-generation sequencing
119.
4GDH (4th generation district heating)
120.
4th generation district heating
121.
5th generation district heating (5GDH)
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT