A Unifying Specification Logic for Cyber-Physical Systems

  • M.C. Bujorianu
  • , M.L. Bujorianu
  • , H. Barringer

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationProceedings of 17th Mediterranean Conference on Control and Automation
    PublisherIEEE Computer Society
    Pages1166-1171
    Number of pages6
    Publication statusPublished - 2009
    Event17th Mediterranean Conference on Control and Automation - Thessaloniki
    Duration: 1 Jan 1824 → …

    Conference

    Conference17th Mediterranean Conference on Control and Automation
    CityThessaloniki
    Period1/01/24 → …

    Cite this