Monitoring Dynamical Signals While Testing Timed Aspects of a System

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Volume7019 LNCS
Pages (from-to)115-130
Number of pages16
ISSN0302-9743
DOIs
Publication statusPublished - 1 Jan 2011
Event23rd IFIP WG 6.1 International Conference on Testing Software and Systems - Paris, France
Duration: 7 Nov 201110 Nov 2011

Conference

Conference23rd IFIP WG 6.1 International Conference on Testing Software and Systems
CountryFrance
CityParis
Period07/11/201110/11/2011

Fingerprint

Monitoring
Hybrid Automata
Testing
Nondeterminism
Timed Automata
Embedded systems
Embedded Systems
Parallelism
Correctness
Inclusion
Trajectories
Trajectory
Internal
Real-time
Requirements
Demonstrate
Model
Framework

Cite this

@inproceedings{929d5de062df464aa96dcfeb196bded5,
title = "Monitoring Dynamical Signals While Testing Timed Aspects of a System",
author = "Goran Frehse and Larsen, {Kim Guldstrand} and Marius Mikucionis and B. Nielsen",
note = "Proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems. Wolff, B. & Za{\"i}di, F. (eds.)",
year = "2011",
month = "1",
day = "1",
doi = "10.1007/978-3-642-24580-0_9",
language = "English",
volume = "7019 LNCS",
pages = "115--130",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Monitoring Dynamical Signals While Testing Timed Aspects of a System. / Frehse, Goran; Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, B.

In: Lecture Notes in Computer Science, Vol. 7019 LNCS, 01.01.2011, p. 115-130.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - Monitoring Dynamical Signals While Testing Timed Aspects of a System

AU - Frehse, Goran

AU - Larsen, Kim Guldstrand

AU - Mikucionis, Marius

AU - Nielsen, B.

N1 - Proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems. Wolff, B. & Zaïdi, F. (eds.)

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-81255124173&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=81255124173&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=81255124173&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-24580-0_9

DO - 10.1007/978-3-642-24580-0_9

M3 - Conference article in Journal

AN - SCOPUS:81255124173

VL - 7019 LNCS

SP - 115

EP - 130

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -