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/91)
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
90
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.
non-destructive testing (NDT)
55.
On-site drug testing
56.
on-site testing
57.
pin on disc wear testing
58.
PMU calibration testing
59.
PMU testing
60.
point-of-care testing
61.
processor core testing
62.
processor testing
63.
real-time HiL testing
64.
regression testing
65.
RISC processor testing
66.
robustness testing
67.
safety and security testing
68.
scenario testing
69.
scratch testing
70.
security testing
71.
shear testing
72.
small-scale fire testing
73.
software testing
74.
software-in-the-loop (SIL) testing
75.
stand-alone testing
76.
stress-testing
77.
substation testing methods
78.
system testing
79.
tensile testing
80.
testing
81.
testing methods
82.
testing of digital devices
83.
testing of generator
84.
testing of phasor measurement units
85.
two-dimensional array testing
86.
ultrasonic testing
87.
wafer testing
88.
wear testing
89.
vibration testing
90.
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