Towards Hilbertian Formal Methods


Share/Save/Bookmark

Bujorianu, Manuela L. and Bujorianu, Marius C. (2007) Towards Hilbertian Formal Methods. In: Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic (pp. pp. 240-241).

open access
[img]
Preview
PDF
127kB
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.
Item Type:Conference or Workshop Item
Copyright:© 2007 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/64475
Official URL:http://dx.doi.org/10.1109/ACSD.2007.75
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 245788