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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 3rd International Conference on Application of Concurrency to System Design (ACSD 2003, Guimaraes, Portugal, June 18-20, 2003)
EditorsJ. Lilius, F. Balarin, R.J. Machado
Place of PublicationLos Alamitos CA
PublisherIEEE Computer Society
ISBN (Print)0-7695-1887-7
Publication statusPublished - 2003

Cite this