| Type of Material: | Thesis |
| Title: | Formal frameworks for protocol behavior in mobile and embedded systems |
| Researcher: | Poroor, Jayaraj |
| Guide: | Ramachandra, Kaimal |
| Department: | Department of Computer Science and Engineering |
| Publisher: | Amrita Vishwa Vidyapeetham (University) |
| Place: | Coimbatore |
| Year: | May 2012 |
| Language: | English |
| Subject: | Computer science | Mobile and embedded systems |
| Dissertation/Thesis Note: | PhD |
| Fulltext: | Shodhganga |
| 000 | 00000ntm a2200000ua 4500 | |
| 001 | 256943 | |
| 003 | IN-AhILN | |
| 005 | 2013-12-04 10:31:27 | |
| 008 | __ | 120822t2012||||ii#||||g|m||||||||||eng|| |
| 035 | __ | |a(IN-AhILN)th_256943 |
| 040 | __ | |aAVVP_641112|dIN-AhILN |
| 041 | __ | |aeng |
| 100 | __ | |aPoroor, Jayaraj|eResearcher |
| 110 | __ | |aDepartment of Computer Science and Engineering|bAmrita Vishwa Vidyapeetham (University)|dCoimbatore |
| 245 | __ | |aFormal frameworks for protocol behavior in mobile and embedded systems |
| 260 | __ | |aCoimbatore|bAmrita Vishwa Vidyapeetham (University)|cMay 2012 |
| 502 | __ | |bPhD |
| 518 | __ | |oDate of Notification|d2012-05 |
| 520 | __ | |aWe investigate formal frameworks for de_ning and analyzing the behavior of network protocols in mobile and embedded systems. Such systems are typically networked for the purposes of remote monitoring and control. Hence understanding and analyzing their |
| 653 | __ | |aComputer science |
| 653 | __ | |aMobile and embedded systems |
| 700 | __ | |aRamachandra, Kaimal|eGuide |
| 856 | __ | |uhttp://shodhganga.inflibnet.ac.in/handle/10603/4387|yShodhganga |
| 905 | __ | |anotification |
User Feedback Comes Under This section.