Towards Hilbertian Formal Methods

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Marius C. Bujorianu Articles by Manuela L. Bujorianu

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)

Towards Hilbertian Formal Methods (PDF)

Bratislava, Slovak Republic

July 10-July 13

ISBN: 0-7695-2902-X

	ASCII Text	x
	Marius C. Bujorianu, Manuela L. Bujorianu, "Towards Hilbertian Formal Methods," Application of Concurrency to System Design, International Conference on, pp. 240-241, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.

	BibTex	x
	@article{ 10.1109/ACSD.2007.75, author = {Marius C. Bujorianu and Manuela L. Bujorianu}, title = {Towards Hilbertian Formal Methods}, journal ={Application of Concurrency to System Design, International Conference on}, volume = {0}, year = {2007}, issn = {1550-4808}, pages = {240-241}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.75}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Application of Concurrency to System Design, International Conference on TI - Towards Hilbertian Formal Methods SN - 1550-4808 SP240 EP241 A1 - Marius C. Bujorianu, A1 - Manuela L. Bujorianu, PY - 2007 KW - null VL - 0 JA - Application of Concurrency to System Design, International Conference on ER -

Marius C. Bujorianu, University of Kent, UK

Manuela L. Bujorianu, University of Twente, the Netherlands

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.75

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.

Citation:

Marius C. Bujorianu, Manuela L. Bujorianu, "Towards Hilbertian Formal Methods," acsd, pp.240-241, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.