Towards Hilbertian Formal Methods

L.M. Bujorianu, Marius C. Bujorianu

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    86 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 languageUndefined
    Title of host publicationProceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages240-241
    Number of pages2
    ISBN (Print)0-7695-2902-X
    DOIs
    Publication statusPublished - Jul 2007
    Event7th International Conference on Application of Concurrency to System Design, ACSD 2007 - Bratislava, Slovakia
    Duration: 10 Jul 200713 Jul 2007
    Conference number: 7

    Publication series

    Name
    PublisherIEEE Computer Society
    NumberFS-07-05
    ISSN (Print)1550-4808

    Conference

    Conference7th International Conference on Application of Concurrency to System Design, ACSD 2007
    Abbreviated titleACSD
    CountrySlovakia
    CityBratislava
    Period10/07/0713/07/07

    Keywords

    • IR-64475
    • METIS-245788
    • EWI-11436

    Cite this