Towards Hilbertian Formal Methods


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
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
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 245788