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
linear-time logics (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
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
1
Look more..
(2/256)
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
255
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 simulation
178.
real-time simulations
179.
real-time systems
180.
real-time tariff system
181.
real-time tracking
182.
real-time water fluxes
183.
real-time visualization
184.
residence time
185.
response time (RT)
186.
reverse recovery time
187.
settling time
188.
short-time chirps
189.
signal real-time reconstruction
190.
social time
191.
space–time modeling
192.
start time of charring
193.
subjective time
194.
systems on time scales
195.
TDABC (time-driven ABC)
196.
time
197.
time analysis
198.
time constant
199.
time correlations
200.
time delay
201.
time delay systems
202.
time division multiple access (TDMA)
203.
time domain analysis
204.
time efficiency
205.
Time factors
206.
time lags
207.
time log
208.
time management
209.
Time measurement
210.
Time of Use energy price
211.
time of use rates
212.
time scale
213.
time scale calculus
214.
time scales
215.
time semantics
216.
time sensitive networking
217.
time sensitivity
218.
time series
219.
time series analysis
220.
time series database
221.
time series forecasting
222.
time series of meteorological parameters
223.
time series to frequency transformation
224.
time series variations
225.
time zone
226.
time use
227.
time variant bioimpedance
228.
time-aware modelling
229.
time-awareness
230.
time-averaged concentration
231.
time-averaged models
232.
time-delay renewable power systems
233.
time-delay systems
234.
time-dependent density functional theory (TD-DFT)
235.
time-dependent drift
236.
time-domain reflectometry
237.
time-driven activity-based costing
238.
time-driven activity-based costing, TDABC
239.
time-fractional PDEs
240.
time-reversal
241.
time-selective data fusion
242.
time-sensitive interactions
243.
Time-sensitive networking
244.
time-series forecasting
245.
time-sharing
246.
time-to-digital converter (TDC)
247.
time-varying boundary conditions
248.
time-varying phasors
249.
time-varying systems
250.
transit time
251.
travel time
252.
travel time estimation
253.
travel time model
254.
volt-time characteristic
255.
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