Search

Your search keyword '"EWI-11436"' showing total 2 results
Start Over Descriptor "EWI-11436"
2 results on '"EWI-11436"'

1. Towards Hilbertian Formal Methods

Author

Bujorianu, L.M. and Bujorianu, Marius C.

Subjects
METIS-245788, IR-64475, EWI-11436
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.

Published
2007

2. Towards Hilbertian Formal Methods

Subjects
METIS-245788, IR-64475, EWI-11436
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.

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results