Found 3 results
Filters: First Letter Of Title is F [Clear All Filters]
A formal approach to automatically analyse extra-functional properties in mobile applications. Software Testing, Verification and Reliability. :e1699.. 2019.
Field measurements of mobile services with Android smartphones. Proc. of 2012 IEEE Consumer Communications and Networking Conference. CCNC 2012, January 14-17, 2012, Las Vegas, NV. :105–109.. 2012.
On the Fly model checking for C programs with extended CADP in FMICS-jETI. 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings. :321–329.. 2007.