Loading...
Please wait, while we are loading the content...
Similar Documents
Automatic Synthesis and Verification of Real-Time Embedded Software for Mobile and Ubiquitous Systems
| Content Provider | Scilit |
|---|---|
| Author | Hsiung, Pao-Ann Lin, Shang-Wei |
| Copyright Year | 2012 |
| Description | Book Name: Handbook on Mobile and Ubiquitous Computing |
| Related Links | http://www.cs.ccu.edu.tw/~pahsiung/publications/papers/VERTAF_CLSS_34_4.pdf |
| Ending Page | 416 |
| Page Count | 22 |
| Starting Page | 395 |
| DOI | 10.1201/b13081-22 |
| Language | English |
| Publisher | Informa UK Limited |
| Publisher Date | 2012-10-19 |
| Access Restriction | Open |
| Subject Keyword | Book Name: Handbook On Mobile and Ubiquitous Computing Information Systems |
| Content Type | Text |
| Resource Type | Chapter |