Expressing environment assumptions and real-time requirements for a distributed embedded system with shared variables
Apresentado na 6th IFIP TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), no âmbito do 20th IFIP World Computer Congress, Milão, Itália, set/2008.
Main Author: | |
---|---|
Other Authors: | |
Format: | conferencePaper |
Language: | eng |
Published: |
2008
|
Subjects: | |
Online Access: | http://hdl.handle.net/1822/14607 |
Country: | Portugal |
Oai: | oai:repositorium.sdum.uminho.pt:1822/14607 |