1
Publications
53
Citations
1
H-Index
2014
Active since
Affiliations
George Miskos is an author at Institut national de recherche en sciences et technologies du numérique specializing in software maintenance, formal verification, and system software.
Top concepts
EngineeringSemantic WebFormal MethodsSoftware DesignSystem SoftwareComputer ScienceData IntegrationProgram AnalysisSoftware TestingSoftware Analysis
Publications per year
2014–2014
1
1
Rows per page
1–1 of 1