Pavel Gonzalez is an author at Imperial College London specializing in mobile computing, formal specification, and technology.
Top concepts
DesignBusinessTechnologyEngineeringVerificationFormal MethodsSoftware DesignMobile ComputingProgram AnalysisSoftware Analysis
Publications per year
2012–2012
1
1
Verifying GSM-Based Business Artifacts
Pavel Gonzalez, Andreas Griesmayer, Alessio Lomuscio · 2012 · 36 citations
Rows per page
1–1 of 1