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
Advanced search
My bookmarks
0
linear-time logics (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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
1
Look more..
(2/267)
Export
export all inquiry results
(1)
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 EST
/
book article 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
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
266
1.
linear-time logics
2.
continuous time linear switched systems
3.
linear discrete-time systems
4.
intuitive logics school
5.
program logics
6.
substructural logics
7.
temporal logics
8.
bounded linear operator
9.
degenerate and infeasible linear programming problems
10.
electron linear accelerator
11.
graphical linear algebra
12.
hyper-branched linear low density PE
13.
initial solution to the linear programming problem
14.
integer linear programming
15.
integer linear programming (ILP)
16.
linear
17.
linear accelerator
18.
linear accelerators
19.
linear and nonlinear unsupervised methods
20.
linear belt
21.
linear control system
22.
linear Delta robot
23.
linear Delta robots neural network based model
24.
linear diagram
25.
linear diagrams
26.
linear dynamic equation
27.
linear free energy (LFE) relationships
28.
linear heat density
29.
linear induction motor
30.
linear inequalities
31.
linear integer programming
32.
linear least squares
33.
linear logic
34.
linear logic of Petri nets
35.
Linear low-density polyethylene
36.
linear matrix inequalities
37.
linear matrix inequality
38.
linear matrix operators
39.
linear measure
40.
linear mixed models
41.
linear models
42.
linear notations
43.
linear oscillating electromagnetic force
44.
linear parameter-varying systems
45.
linear polyethylene (LPE)
46.
linear programming
47.
linear quadratic regulator
48.
linear regression
49.
Linear singular Volterra equations
50.
linear systems
51.
linear systems theory
52.
linear thermal transmittance
53.
linear transformations
54.
linear waves
55.
Linear-Quadratic-Gaussian (LQG) controller
56.
mixed integer linear programming
57.
mixed integer linear programming (MILP)
58.
mixed-integer linear programming
59.
Multiple Linear Regression
60.
non linear eigenvalues
61.
non-linear
62.
non-linear calculation
63.
non-linear circuit
64.
non-linear equations
65.
non‐linear estimation
66.
non-linear impedance
67.
non-linear internationalization process
68.
non-linear least squares
69.
non-linear mathematics
70.
non-linear models
71.
non-linear regime
72.
non-linear stiffness
73.
nonnegative solution to the system of linear equations
74.
piecewise linear droop control
75.
positive linear operators
76.
pseudo-linear algebra
77.
Random Parameter Linear Regression Model (RPLRM)
78.
Recursive linear algebra
79.
rule-based non-linear optimization
80.
solving linear programming problems
81.
system of linear inequalities
82.
accident time
83.
arrow of time
84.
berthing time optimization
85.
cargo handling time prediction
86.
communication delay time
87.
communication-time circuits
88.
communication-time processing
89.
continuous- and discrete-time systems
90.
continuous time
91.
Continuous Time Markov Chain
92.
continuous time systems
93.
coupled time fractional order reaction–advection–diffusion systems
94.
coupled time fractional PDEs
95.
daylight saving time
96.
dead time optimization
97.
dead-time effect
98.
delayed time reversal
99.
delayed time reversal-nonlinear elastic wave spectroscopy
100.
demand time pattern
101.
digital real time simulation
102.
digital time-stamping
103.
discrete time
104.
discrete time control systems
105.
discrete time filtering
106.
discrete time switched systems
107.
discrete-time
108.
discrete-time system
109.
discrete-time systems
110.
discrete-time systemsstability area
111.
door-to-needle time
112.
dwell-time calculations
113.
dynamic time warping
114.
dynamic time warping (DTW)
115.
effective travel time
116.
elastic reverse time migration
117.
execution time
118.
failure in time
119.
failure time
120.
fall‐off time
121.
fast response time
122.
fatigue time
123.
finite correlation time
124.
finite-time compressibility
125.
finite-time Lyapunov exponent
126.
forward and reversed time-series
127.
groundwater residence time
128.
holdup time
129.
homogeneous time scale
130.
implicit and explicit time integration
131.
interval time delay
132.
Irregular multivariate time series
133.
just-in-time
134.
Just-in-Time manufacturing
135.
lead time
136.
long time behaviour
137.
manufacturing-time attack
138.
millennial time-scale
139.
multivariate time-series
140.
night-time ventilation
141.
nonlinear discrete-time systems
142.
nonlinear time series
143.
nonlinear time-varying factor model
144.
nonmonotonic time response (NMTR)
145.
objective time
146.
part-time employment
147.
payback time
148.
peak migration time compensation
149.
programming time
150.
pulse arrival time
151.
reaction time
152.
real time
153.
real time control
154.
real time feedback
155.
real time information
156.
real time measurements
157.
real time monitoring process
158.
real time simulation
159.
real time tracking
160.
real-time
161.
Real-time Analysis
162.
real-time application
163.
real-time availability
164.
real-time collision monitoring
165.
real-time communication
166.
real-time data
167.
real-time data collection
168.
real-time database systems
169.
real-time demands
170.
real-time diagnosis
171.
real-time digital simulator
172.
real-time economy
173.
real-time environmental performance feedback
174.
real-time feedback
175.
real-time feed-back
176.
real-time HiL testing
177.
real-time image segmentation
178.
real-time information
179.
real-time kinematic (RTK)
180.
real-time measurement
181.
real-time monitoring
182.
real-time prices
183.
real-time pricing
184.
real-time room temperature test
185.
real-time simulation
186.
real-time simulations
187.
real-time systems
188.
real-time tariff system
189.
real-time tracking
190.
real-time water fluxes
191.
real-time vibration analysis
192.
real-time visualization
193.
residence time
194.
response time (RT)
195.
reverse recovery time
196.
screen time management
197.
settling time
198.
short-time chirps
199.
signal real-time reconstruction
200.
social time
201.
space–time modeling
202.
start time of charring
203.
subjective time
204.
systems on time scales
205.
TDABC (time-driven ABC)
206.
time
207.
time analysis
208.
time constant
209.
time correlations
210.
time delay
211.
time delay systems
212.
time division multiple access (TDMA)
213.
time domain analysis
214.
time efficiency
215.
Time factors
216.
time lags
217.
time log
218.
time management
219.
Time measurement
220.
Time of Use energy price
221.
time of use rates
222.
time scale
223.
time scale calculus
224.
time scales
225.
time semantics
226.
time sensitive networking
227.
time sensitivity
228.
time series
229.
time series analysis
230.
time series database
231.
time series forecasting
232.
time series of meteorological parameters
233.
time series to frequency transformation
234.
time series variations
235.
time zone
236.
time use
237.
time variant bioimpedance
238.
time-aware modelling
239.
time-awareness
240.
time-averaged concentration
241.
time-averaged models
242.
time-delay renewable power systems
243.
time-delay systems
244.
time-dependent density functional theory (TD-DFT)
245.
time-dependent drift
246.
time-domain design
247.
time-domain reflectometry
248.
time-driven activity-based costing
249.
time-driven activity-based costing, TDABC
250.
time-fractional PDEs
251.
time-reversal
252.
time-selective data fusion
253.
time-sensitive interactions
254.
Time-sensitive networking
255.
time-series forecasting
256.
time-sharing
257.
time-to-digital converter (TDC)
258.
time-varying boundary conditions
259.
time-varying phasors
260.
time-varying systems
261.
transit time
262.
travel time
263.
travel time estimation
264.
travel time model
265.
volt-time characteristic
266.
working time
author
1
1.
Time, Berit
×
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