Separation of concerns in the formal design of real-time shared data-space systems

M.R. Mousavi; M.A. Reniers; T. Basten; M.R.V. Chaudron

doi:10.1109/CSD.2003.1207701

Separation of concerns in the formal design of real-time shared data-space systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003)
Editors	J. Lilius, F. Balarin, R.J. Machado
Place of Publication	Los Alamitos CA
Publisher	IEEE Computer Society
Pages	71-81
ISBN (Print)	0-7695-1887-7
DOIs	https://doi.org/10.1109/CSD.2003.1207701
Publication status	Published - 2003

Access to Document

10.1109/CSD.2003.1207701

Cite this

Mousavi, M. R., Reniers, M. A., Basten, T., & Chaudron, M. R. V. (2003). Separation of concerns in the formal design of real-time shared data-space systems. In J. Lilius, F. Balarin, & R. J. Machado (Eds.), Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003) (pp. 71-81). IEEE Computer Society. https://doi.org/10.1109/CSD.2003.1207701

Mousavi, M.R. ; Reniers, M.A. ; Basten, T. et al. / Separation of concerns in the formal design of real-time shared data-space systems. Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003). editor / J. Lilius ; F. Balarin ; R.J. Machado. Los Alamitos CA : IEEE Computer Society, 2003. pp. 71-81

@inproceedings{6d808b3996084021b289ce2cb6ad4ab7,

title = "Separation of concerns in the formal design of real-time shared data-space systems",

author = "M.R. Mousavi and M.A. Reniers and T. Basten and M.R.V. Chaudron",

year = "2003",

doi = "10.1109/CSD.2003.1207701",

language = "English",

isbn = "0-7695-1887-7",

pages = "71--81",

editor = "J. Lilius and F. Balarin and R.J. Machado",

booktitle = "Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003)",

publisher = "IEEE Computer Society",

address = "United States",

}

Mousavi, MR, Reniers, MA , Basten, T & Chaudron, MRV 2003, Separation of concerns in the formal design of real-time shared data-space systems. in J Lilius, F Balarin & RJ Machado (eds), Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003). IEEE Computer Society, Los Alamitos CA, pp. 71-81. https://doi.org/10.1109/CSD.2003.1207701

Separation of concerns in the formal design of real-time shared data-space systems. / Mousavi, M.R.; Reniers, M.A.; Basten, T. et al.
Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003). ed. / J. Lilius; F. Balarin; R.J. Machado. Los Alamitos CA: IEEE Computer Society, 2003. p. 71-81.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Separation of concerns in the formal design of real-time shared data-space systems

AU - Mousavi, M.R.

AU - Reniers, M.A.

AU - Basten, T.

AU - Chaudron, M.R.V.

PY - 2003

Y1 - 2003

U2 - 10.1109/CSD.2003.1207701

DO - 10.1109/CSD.2003.1207701

M3 - Conference contribution

SN - 0-7695-1887-7

SP - 71

EP - 81

BT - Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003)

A2 - Lilius, J.

A2 - Balarin, F.

A2 - Machado, R.J.

PB - IEEE Computer Society

CY - Los Alamitos CA

ER -

Mousavi MR, Reniers MA , Basten T , Chaudron MRV. Separation of concerns in the formal design of real-time shared data-space systems. In Lilius J, Balarin F, Machado RJ, editors, Proceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003). Los Alamitos CA: IEEE Computer Society. 2003. p. 71-81 doi: 10.1109/CSD.2003.1207701