About this scholarly article

2006 Proceedings of the First Mobile Computing and Wireless Communication International Conference - An Approach to Formal Specification and Formal Validation of Facilities of a Mobile Middleware Architecture by Chattopadhyay, Matangini; Paul, Subharthi; Sanyal, Suman; Das, Debesh is a scholarly article available to read on EtoBox.

Author

Chattopadhyay, Matangini; Paul, Subharthi; Sanyal, Suman; Das, Debesh

Publisher

IEEE

Published

2006

Language

EN