Modelling Critical Systems With Time Constraints in Event-B

Faezeh Siavashi; Marina Waldén; Leonidas Tsiopoulos; Jüri Vain

Modelling Critical Systems With Time Constraints in Event-B

Faezeh Siavashi, Marina Waldén, Leonidas Tsiopoulos, Jüri Vain

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

Original language	English
Title of host publication	25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts
Editors	Tarmo Uustalu, Jüri Vain
Place of Publication	Tallinn, Estonia
Publisher	Department of Computer Science, Tallinn University of Technology
Pages	70-72
ISBN (Electronic)	978-9949-430-70-3
Publication status	Published - 2013
MoE publication type	O2 Other
Event	25th Nordic Workshop on Programming Theory - Tallinn, Estonia Duration: 20 Nov 2013 → 22 Nov 2013 Conference number: 25 http://cs.ioc.ee/nwpt13/index.php?page=home

Workshop

Workshop	25th Nordic Workshop on Programming Theory
Abbreviated title	NWPT 2013
Country/Territory	Estonia
City	Tallinn
Period	20/11/13 → 22/11/13
Internet address	http://cs.ioc.ee/nwpt13/index.php?page=home

Cite this

Siavashi, Faezeh ; Waldén, Marina ; Tsiopoulos, Leonidas et al. / Modelling Critical Systems With Time Constraints in Event-B. 25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts. editor / Tarmo Uustalu ; Jüri Vain. Tallinn, Estonia : Department of Computer Science, Tallinn University of Technology, 2013. pp. 70-72

@inproceedings{a9b8d1969ccf4000b06e97ecbfeeaa6f,

title = "Modelling Critical Systems With Time Constraints in Event-B",

author = "Faezeh Siavashi and Marina Wald{\'e}n and Leonidas Tsiopoulos and J{\"u}ri Vain",

year = "2013",

language = "English",

pages = "70--72",

editor = "Tarmo Uustalu and J{\"u}ri Vain",

booktitle = "25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts",

publisher = "Department of Computer Science, Tallinn University of Technology",

note = "25th Nordic Workshop on Programming Theory, NWPT 2013 ; Conference date: 20-11-2013 Through 22-11-2013",

url = "http://cs.ioc.ee/nwpt13/index.php?page=home",

}

Siavashi, F, Waldén, M, Tsiopoulos, L & Vain, J 2013, Modelling Critical Systems With Time Constraints in Event-B. in T Uustalu & J Vain (eds), 25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts. Department of Computer Science, Tallinn University of Technology, Tallinn, Estonia, pp. 70-72, 25th Nordic Workshop on Programming Theory, Tallinn, Estonia, 20/11/13.

Modelling Critical Systems With Time Constraints in Event-B. / Siavashi, Faezeh; Waldén, Marina; Tsiopoulos, Leonidas et al.
25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts. ed. / Tarmo Uustalu; Jüri Vain. Tallinn, Estonia: Department of Computer Science, Tallinn University of Technology, 2013. p. 70-72.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific

TY - GEN

T1 - Modelling Critical Systems With Time Constraints in Event-B

AU - Siavashi, Faezeh

AU - Waldén, Marina

AU - Tsiopoulos, Leonidas

AU - Vain, Jüri

N1 - Conference code: 25

PY - 2013

Y1 - 2013

M3 - Conference contribution

SP - 70

EP - 72

BT - 25th Nordic Workshop on Programming Theory NWPT 2013 Tallinn, Estonia, 20–22 November 2013 Abstracts

A2 - Uustalu, Tarmo

A2 - Vain, Jüri

PB - Department of Computer Science, Tallinn University of Technology

CY - Tallinn, Estonia

T2 - 25th Nordic Workshop on Programming Theory

Y2 - 20 November 2013 through 22 November 2013

ER -