Models for Real-Time Embedded Systems

Didier Lime*, Olivier H. Roux, Jiri Srba

*Corresponding author

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationCommunicating Embedded Systems: Software and Design: Formal Methods
EditorsClaude Jard, Olivier H. Roux
Number of pages37
PublisherWiley
Publication date13 Feb 2013
Pages1-37
ISBN (Print)9781848211438
DOIs
Publication statusPublished - 13 Feb 2013

Cite this