Back to Search
Start Over
Towards Hilbertian Formal Methods
- Source :
- Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 240-241, STARTPAGE=240;ENDPAGE=241;TITLE=Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
- Publication Year :
- 2007
- Publisher :
- IEEE, 2007.
-
Abstract
- In this work, we address the issue of handling complex continuous evolutions of the environment of embedded systems. There is now an impressive amount of research in the area of intelligent embedded controllers, and thus we do not need to argue about the importance of this subject.
- Subjects :
- METIS-245788
IR-64475
EWI-11436
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 240-241, STARTPAGE=240;ENDPAGE=241;TITLE=Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
- Accession number :
- edsair.narcis........1e3648131e14513fefb01441385f5303