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
Model-based testing of real-time distributed systems (title)
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..
(1/106)
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
Model-based testing of real-time distributed systems
Vain, Jüri
;
Halling, Evelin
;
Kanter, Gert
;
Anier, Aivo
;
Pal, Deepak
Databases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings
2016
/
p. 272-286 : ill
https://doi.org/10.1007/978-3-319-40180-5_19
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
106
1.
real-time HiL testing
2.
real-time database systems
3.
real-time systems
4.
model based testing
5.
model-based mutation testing
6.
model-based testing
7.
Model-Based Systems Engineering (MBSE)
8.
digital real time simulation
9.
real time
10.
real time control
11.
real time feedback
12.
real time information
13.
real time measurements
14.
real time monitoring process
15.
real time simulation
16.
real time tracking
17.
real-time
18.
Real-time Analysis
19.
real-time application
20.
real-time availability
21.
real-time collision monitoring
22.
real-time communication
23.
real-time data
24.
real-time data collection
25.
real-time demands
26.
real-time diagnosis
27.
real-time digital simulator
28.
real-time economy
29.
real-time environmental performance feedback
30.
real-time feedback
31.
real-time feed-back
32.
real-time image segmentation
33.
real-time information
34.
real-time kinematic (RTK)
35.
real-time measurement
36.
real-time monitoring
37.
real-time prices
38.
real-time pricing
39.
real-time room temperature test
40.
real-time simulation
41.
real-time simulations
42.
real-time tariff system
43.
real-time tracking
44.
real-time water fluxes
45.
real-time vibration analysis
46.
real-time visualization
47.
signal real-time reconstruction
48.
distributed activation energy model
49.
distributed parameter model
50.
distributed parameter model of metastructures
51.
boundary coupled distributed parameter systems
52.
cooperative distributed systems
53.
distributed collaboration systems
54.
distributed computer systems
55.
distributed embedded systems
56.
distributed energy systems
57.
distributed generation systems
58.
distributed parameter systems
59.
distributed power systems
60.
distributed systems
61.
logic-based distributed routing
62.
nonlinear time-varying factor model
63.
travel time model
64.
time-driven activity-based costing
65.
time-driven activity-based costing, TDABC
66.
continuous- and discrete-time systems
67.
continuous time linear switched systems
68.
continuous time systems
69.
coupled time fractional order reaction–advection–diffusion systems
70.
discrete time control systems
71.
discrete time switched systems
72.
discrete-time systems
73.
linear discrete-time systems
74.
nonlinear discrete-time systems
75.
systems on time scales
76.
time delay systems
77.
time-delay renewable power systems
78.
time-delay systems
79.
time-varying systems
80.
accrual-based credit risk model
81.
agent-based model
82.
end-to-end model-based system
83.
finite cycle-based model predictive control
84.
information model-based urban planning
85.
linear Delta robots neural network based model
86.
model based
87.
model-based control
88.
model-based design
89.
model-based development
90.
Model-Based Engineering (MBE)
91.
model-based navigation
92.
model-based patterns
93.
model-based software development
94.
model-based verification
95.
modified winding function‐based model
96.
multiagent-based microscopic traffic assignment model (MMTAM)
97.
regression based model
98.
Simultaneous model-based optimization
99.
Viable Systems Model
100.
behaviour-based intrusion detection systems
101.
cloud-based cyber-physical systems (C2PS)
102.
cloud-based medical systems
103.
knowledge based systems
104.
knowledge-based systems
105.
Peptide based transfection systems
106.
rules-based systems
×
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