Introduction to special section on formal methods in pervasive computing

Mohamed Bakhouya, Roy H. Campbell, Antonio Coronato, Giuseppe De Pietro, Anand Ranganathan

    Research output: Contribution to journalReview Articlepeer-review

    16 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)1-9
    JournalACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS
    Volume7
    Issue number1
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA2 Review article in a scientific journal

    Keywords

    • Design- and run-time verification
    • Formal modeling
    • Pervasive and ubiquitous computing

    Cite this