TY  - BOOK
AU  - Bernardo,Marco
AU  - Bogliolo,Alessandro
ED  - International School on Formal Methods for the Design of Computer, Communication, and Software Systems
TI  - Formal methods for mobile computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures 
T2  - Lecture notes in computer science
SN  - 3540256970
AV  - QA76 .L43I575 2005
U1  - 005.13/1 22
PY  - 2005///
CY  - Berlin
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Mobile computing
KW  - Computer software
KW  - System design
N1  - Includes bibliographical references and index
N2  - This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005. SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support
UR  - http://www.loc.gov/catdir/enhancements/fy0663/2005924063-d.html
ER  -