Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. Ferro
An Automata Based Verification Environment for Mobile Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Cellular Learning Automata-Based Deployment Strategy for Mobile Wireless Sensor Networks
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
An Algebraic Verification of a Mobile Network
Formal Aspects of Computing
Theoretical Computer Science
Software
Model-Based Verification and Optimization of Batteries for Mobile Power Applications
Design and Verification Environment for High-Performance Video-Based Embedded Systems
Mobile Based User-Centered Learning Environment for Adult Absolute Illiterates
Mobile Information Systems
Computer Networks
Computer Science Applications
Communications
Verification Support Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobility-Based Multicast Routing Algorithm for Wireless Mobile Ad-Hoc Networks: A Learning Automata Approach
Computer Communications
Computer Networks
Communications
Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
An Environment for Automated Power Measurements on Mobile Computing Platforms
