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