Towards Hilbertian Formal Methods

L.M. Bujorianu; Marius C. Bujorianu

doi:10.1109/ACSD.2007.75

Towards Hilbertian Formal Methods

L.M. Bujorianu, Marius C. Bujorianu

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

6 Citations (Scopus)

104 Downloads (Pure)

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.

Original language	Undefined
Title of host publication	Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	240-241
Number of pages	2
ISBN (Print)	0-7695-2902-X
DOIs	https://doi.org/10.1109/ACSD.2007.75
Publication status	Published - Jul 2007
Event	7th International Conference on Application of Concurrency to System Design, ACSD 2007 - Bratislava, Slovakia Duration: 10 Jul 2007 → 13 Jul 2007 Conference number: 7

Publication series

Name
Publisher	IEEE Computer Society
Number	FS-07-05
ISSN (Print)	1550-4808

Conference

Conference	7th International Conference on Application of Concurrency to System Design, ACSD 2007
Abbreviated title	ACSD
Country/Territory	Slovakia
City	Bratislava
Period	10/07/07 → 13/07/07

Keywords

IR-64475
METIS-245788
EWI-11436

Access to Document

10.1109/ACSD.2007.75

Cite this

@inproceedings{12984e8eab9141beac2d684090900f8a,

title = "Towards Hilbertian Formal Methods",

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.",

keywords = "IR-64475, METIS-245788, EWI-11436",

author = "L.M. Bujorianu and Bujorianu, {Marius C.}",

note = "10.1109/ACSD.2007.75 ; null ; Conference date: 10-07-2007 Through 13-07-2007",

year = "2007",

month = jul,

doi = "10.1109/ACSD.2007.75",

language = "Undefined",

isbn = "0-7695-2902-X",

publisher = "IEEE Computer Society",

number = "FS-07-05",

pages = "240--241",

booktitle = "Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)",

address = "United States",

}

Bujorianu, LM & Bujorianu, MC 2007, Towards Hilbertian Formal Methods. in Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)., 10.1109/ACSD.2007.75, IEEE Computer Society, Los Alamitos, pp. 240-241, 7th International Conference on Application of Concurrency to System Design, ACSD 2007, Bratislava, Slovakia, 10/07/07. https://doi.org/10.1109/ACSD.2007.75

Towards Hilbertian Formal Methods. / Bujorianu, L.M.; Bujorianu, Marius C.

Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007). Los Alamitos : IEEE Computer Society, 2007. p. 240-241 10.1109/ACSD.2007.75.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Towards Hilbertian Formal Methods

AU - Bujorianu, L.M.

AU - Bujorianu, Marius C.

N1 - Conference code: 7

PY - 2007/7

Y1 - 2007/7

N2 - 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.

AB - 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.

KW - IR-64475

KW - METIS-245788

KW - EWI-11436

U2 - 10.1109/ACSD.2007.75

DO - 10.1109/ACSD.2007.75

M3 - Conference contribution

SN - 0-7695-2902-X

SP - 240

EP - 241

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

PB - IEEE Computer Society

CY - Los Alamitos

Y2 - 10 July 2007 through 13 July 2007

ER -