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

Research output: Book/Report › Report › Academic

288 Downloads (Pure)

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	65
Publication status	Published - 2004

Publication series

Name	Computer science reports
Volume	0423
ISSN (Print)	0926-4515

Access to Document

200423Final published version, 562 KB

Cite this

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