State based analysis of pervasive systems

Martyn Ratcliffe*, Hu Bin

*Corresponding author for this work

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

    1 Citation (SciVal)
    Original languageEnglish
    Title of host publication2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07
    Pages572-577
    Number of pages6
    DOIs
    Publication statusPublished (VoR) - 2007
    Event2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07 - Birmingham, United Kingdom
    Duration: 26 Jul 200727 Jul 2007

    Publication series

    Name2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07

    Conference

    Conference2007 2nd International Conference on Pervasive Computing and Applications, ICPCA'07
    Country/TerritoryUnited Kingdom
    CityBirmingham
    Period26/07/0727/07/07

    Keywords

    • Analysis
    • Pervasive
    • Refinement
    • Statechart
    • System

    Fingerprint

    Dive into the research topics of 'State based analysis of pervasive systems'. Together they form a unique fingerprint.

    Cite this