Back to Search
Start Over
On composing and proving the correctness of reactive behavior
- Source :
- Int. Conf. on Embedded Software (EMSOFT).
- Publication Year :
- 2013
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- Int. Conf. on Embedded Software (EMSOFT)
- Accession number :
- edsair.doi.dedup.....0a381863fba0aab54d103b2b3510295c
- Full Text :
- https://doi.org/10.1109/EMSOFT.2013.6658591