Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

E. Bortnik; N. Trcka; A.J. Wijs; B. Luttik; J.M. Mortel - Fronczak, van de; J.C.M. Baeten; W.J. Fokkink; J.E. Rooda

Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

E. Bortnik, N. Trcka, A.J. Wijs, B. Luttik, J.M. Mortel - Fronczak, van de, J.C.M. Baeten, W.J. Fokkink, J.E. Rooda

Formal System Analysis

Onderzoeksoutput: Boek/rapport › Rapport › Academic

288 Downloads (Pure)

Originele taal-2	Engels
Plaats van productie	Eindhoven
Uitgeverij	Technische Universiteit Eindhoven
Aantal pagina's	65
Status	Gepubliceerd - 2004

Publicatie series

Naam	Computer science reports
Volume	0423
ISSN van geprinte versie	0926-4515

Toegang tot document

200423Definitieve gepubliceerde versie, 562 KB

Citeer dit

@book{9707c903c84a4bf195fefa0e2cc06ace,

title = "Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal",

author = "E. Bortnik and N. Trcka and A.J. Wijs and B. Luttik and \{Mortel - Fronczak, van de\}, J.M. and J.C.M. Baeten and W.J. Fokkink and J.E. Rooda",

year = "2004",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

AU - Bortnik, E.

AU - Trcka, N.

AU - Wijs, A.J.

AU - Luttik, B.

AU - Mortel - Fronczak, van de, J.M.

AU - Baeten, J.C.M.

AU - Fokkink, W.J.

AU - Rooda, J.E.

PY - 2004

Y1 - 2004

M3 - Report

T3 - Computer science reports

BT - Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -