Modelling and Verification of Real Time Systems

Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning

Originalsprog	Engelsk
Publikationsdato	2004
Status	Udgivet - 2004
Begivenhed	PRISE´04 - Principles of Software Engineering - Buenos Aires, Argentina Varighed: 22 nov. 2004 → 27 nov. 2004

Konference	PRISE´04 - Principles of Software Engineering
Land/Område	Argentina
By	Buenos Aires
Periode	22/11/2004 → 27/11/2004

Participant handouts of invited tutorial.

AUB Link

@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 -