Modelling and Verification of Real Time Systems

Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research

Original language	English
Publication date	2004
Publication status	Published - 2004
Event	PRISE´04 - Principles of Software Engineering - Buenos Aires, Argentina Duration: 22 Nov 2004 → 27 Nov 2004

Conference	PRISE´04 - Principles of Software Engineering
Country/Territory	Argentina
City	Buenos Aires
Period	22/11/2004 → 27/11/2004

Keywords

@conference{529c54c09c2d11db8ed6000ea68e967b,

title = "Modelling and Verification of Real Time Systems",

keywords = "real-time systems, timed automata, UPPAAL, verification, modelling",

author = "Larsen, {Kim Guldstrand}",

note = "Participant handouts of invited tutorial.; PRISE´04 - Principles of Software Engineering ; Conference date: 22-11-2004 Through 27-11-2004",

year = "2004",

language = "English",

}

TY - CONF

T1 - Modelling and Verification of Real Time Systems

AU - Larsen, Kim Guldstrand

N1 - Participant handouts of invited tutorial.

PY - 2004

Y1 - 2004

KW - real-time systems

KW - timed automata

KW - UPPAAL

KW - verification

KW - modelling

M3 - Paper without publisher/journal

T2 - PRISE´04 - Principles of Software Engineering

Y2 - 22 November 2004 through 27 November 2004

ER -