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
compositional testing (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/89)
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
The Crisis Management System - a case study on aspect-oriented modelling with UPPAAL
Iqbal, Junaid
;
Truscan, Dragos
;
Porres, Ivan
;
Tsiopoulos, Leonidas
;
Vain, Jüri
2016
http://tucs.fi/publications/view/?pub_id=tIqTsTrVaPo16a
book
Number of records 1, displaying
1 - 1
keyword
88
1.
compositional testing
2.
compositional data
3.
compositional SDN
4.
compositional semantics
5.
compositional verification
6.
accelerated testing
7.
acoustomechanical testing
8.
anaerobic testing
9.
aspect-oriented testing
10.
assessment and testing
11.
at-speed testing
12.
benchmark testing
13.
Berridge testing
14.
burst testing
15.
cancer genomic testing
16.
compliance testing
17.
computer aided testing
18.
cone heater testing
19.
conformance testing
20.
courses on electronic testing and design
21.
cybersecurity testing
22.
D. non-destructive testing
23.
deformation testing
24.
design field testing
25.
destructive testing
26.
eddy current testing
27.
eddy current testing (ECT)
28.
erosion testing
29.
fabric testing
30.
fatigue testing
31.
fire testing
32.
hierarchical testing
33.
hypotheses testing
34.
Implementation-Independent Testing of Microprocessors
35.
integration testing
36.
laboratory scale testing
37.
load testing
38.
macro mechanical testing and green surface tribology
39.
material testing
40.
materials testing
41.
measurement and testing
42.
mechanical testing
43.
memory testing
44.
metamorphic testing
45.
microprocessor testing
46.
model based testing
47.
model-based mutation testing
48.
model-based testing
49.
mutation testing
50.
network-testing
51.
non destructive testing
52.
nondestructive testing
53.
non-destructive testing
54.
on-site testing
55.
pin on disc wear testing
56.
PMU calibration testing
57.
PMU testing
58.
point-of-care testing
59.
processor core testing
60.
processor testing
61.
real-time HiL testing
62.
regression testing
63.
RISC processor testing
64.
robustness testing
65.
safety and security testing
66.
scenario testing
67.
scratch testing
68.
security testing
69.
shear testing
70.
small-scale fire testing
71.
software testing
72.
software-in-the-loop (SIL) testing
73.
stand-alone testing
74.
stress-testing
75.
substation testing methods
76.
system testing
77.
tensile testing
78.
testing
79.
testing methods
80.
testing of digital devices
81.
testing of generator
82.
testing of phasor measurement units
83.
two-dimensional array testing
84.
ultrasonic testing
85.
wafer testing
86.
wear testing
87.
vibration testing
88.
virtual testing
TalTech department
1
1.
Testing and Calibration Centre of TUT
×
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