Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
linear-time logics (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/223)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus EST
/
artikkel kogumikus ENG
Specification and verification of a linear-time temporal logic for graph transformation
Gadducci, Fabio
;
Laretto, Andrea
;
Trotta, Davide
Graph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings
2023
/
p. 22-42 : ill
https://doi.org/10.1007/978-3-031-36709-0_2
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
222
1.
linear-time logics
2.
continuous time linear switched systems
3.
linear discrete-time systems
4.
intuitive logics school
5.
substructural logics
6.
temporal logics
7.
bounded linear operator
8.
degenerate and infeasible linear programming problems
9.
electron linear accelerator
10.
graphical linear algebra
11.
hyper-branched linear low density PE
12.
initial solution to the linear programming problem
13.
integer linear programming
14.
integer linear programming (ILP)
15.
linear
16.
linear accelerator
17.
linear accelerators
18.
linear and nonlinear unsupervised methods
19.
linear belt
20.
linear control system
21.
linear diagram
22.
linear diagrams
23.
linear dynamic equation
24.
linear free energy (LFE) relationships
25.
linear heat density
26.
linear induction motor
27.
linear inequalities
28.
linear integer programming
29.
linear least squares
30.
linear logic
31.
Linear low-density polyethylene
32.
linear machine
33.
linear measure
34.
linear mixed models
35.
linear notations
36.
linear parameter-varying systems
37.
linear polyethylene (LPE)
38.
linear programming
39.
linear quadratic regulator
40.
linear regression
41.
Linear singular Volterra equations
42.
linear systems
43.
linear systems theory
44.
linear thermal transmittance
45.
linear waves
46.
Linear-Quadratic-Gaussian (LQG) controller
47.
mixed integer linear programming
48.
mixed integer linear programming (MILP)
49.
mixed-integer linear programming
50.
Multiple Linear Regression
51.
non-linear
52.
non-linear calculation
53.
non-linear circuit
54.
non-linear equations
55.
non‐linear estimation
56.
non-linear impedance
57.
non-linear least squares
58.
non-linear models
59.
non-linear regime
60.
non-linear stiffness
61.
nonnegative solution to the system of linear equations
62.
positive linear operators
63.
pseudo-linear algebra
64.
Recursive linear algebra
65.
solving linear programming problems
66.
system of linear inequalities
67.
accident time
68.
arrow of time
69.
communication delay time
70.
communication-time circuits
71.
communication-time processing
72.
continuous- and discrete-time systems
73.
continuous time
74.
Continuous Time Markov Chain
75.
coupled time fractional order reaction–advection–diffusion systems
76.
coupled time fractional PDEs
77.
daylight saving time
78.
dead-time effect
79.
delayed time reversal
80.
delayed time reversal-nonlinear elastic wave spectroscopy
81.
demand time pattern
82.
digital real time simulation
83.
digital time-stamping
84.
discrete time control systems
85.
discrete time switched systems
86.
discrete-time
87.
discrete-time system
88.
discrete-time systems
89.
discrete-time systemsstability area
90.
door-to-needle time
91.
dwell-time calculations
92.
dynamic time warping
93.
elastic reverse time migration
94.
execution time
95.
failure time
96.
fall‐off time
97.
fast response time
98.
fatigue time
99.
finite correlation time
100.
finite-time compressibility
101.
finite-time Lyapunov exponent
102.
forward and reversed time-series
103.
groundwater residence time
104.
holdup time
105.
homogeneous time scale
106.
implicit and explicit time integration
107.
interval time delay
108.
just-in-time
109.
Just-in-Time manufacturing
110.
lead time
111.
long time behaviour
112.
manufacturing-time attack
113.
multivariate time-series
114.
nonlinear discrete-time systems
115.
nonlinear time series
116.
nonlinear time-varying factor model
117.
nonmonotonic time response (NMTR)
118.
objective time
119.
part-time employment
120.
payback time
121.
peak migration time compensation
122.
programming time
123.
pulse arrival time
124.
reaction time
125.
real time
126.
real time control
127.
real time feedback
128.
real time information
129.
real time measurements
130.
real time monitoring process
131.
real time simulation
132.
real-time
133.
Real-time Analysis
134.
real-time application
135.
real-time collision monitoring
136.
real-time communication
137.
real-time data
138.
real-time database systems
139.
real-time demands
140.
real-time digital simulator
141.
real-time economy
142.
real-time feedback
143.
real-time feed-back
144.
real-time HiL testing
145.
real-time image segmentation
146.
real-time information
147.
real-time kinematic (RTK)
148.
real-time measurement
149.
real-time monitoring
150.
real-time prices
151.
real-time pricing
152.
real-time simulation
153.
real-time simulations
154.
real-time systems
155.
real-time tariff system
156.
real-time tracking
157.
real-time water fluxes
158.
real-time visualization
159.
residence time
160.
response time (RT)
161.
reverse recovery time
162.
settling time
163.
short-time chirps
164.
signal real-time reconstruction
165.
social time
166.
start time of charring
167.
subjective time
168.
systems on time scales
169.
TDABC (time-driven ABC)
170.
time
171.
time analysis
172.
time constant
173.
time correlations
174.
time delay
175.
time delay systems
176.
time division multiple access (TDMA)
177.
time domain analysis
178.
time lags
179.
time log
180.
time management
181.
Time measurement
182.
Time of Use energy price
183.
time of use rates
184.
time scale
185.
time scale calculus
186.
time scales
187.
time semantics
188.
time sensitive networking
189.
time sensitivity
190.
time series
191.
time series analysis
192.
time series database
193.
time series forecasting
194.
time series of meteorological parameters
195.
time series to frequency transformation
196.
time series variations
197.
time use
198.
time variant bioimpedance
199.
time-aware modelling
200.
time-awareness
201.
time-averaged concentration
202.
time-averaged models
203.
time-delay renewable power systems
204.
time-delay systems
205.
time-dependent density functional theory (TD-DFT)
206.
time-dependent drift
207.
time-domain reflectometry
208.
time-driven activity-based costing
209.
time-driven activity-based costing, TDABC
210.
time-fractional PDEs
211.
time-reversal
212.
time-selective data fusion
213.
time-sensitive interactions
214.
time-series forecasting
215.
time-sharing
216.
time-to-digital converter (TDC)
217.
time-varying phasors
218.
time-varying systems
219.
transit time
220.
travel time estimation
221.
volt-time characteristic
222.
working time
autor
1
1.
Time, Berit
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT