Supporting Object-oriented Design Learning Outcome Using an Android Development Project
Asjia Gilder, Wichien Choosilp, Michael Patrick Allen, Quantarius Dean, Yujian Fu · 2020
interests fall in formal verification of cyber-physical systems, behavioral analysis of mobile security, software architecture and design analysis of safety-critical and mission-critical systems.Her projects are supported by