3
Publications
141
Citations
3
H-Index
2009
Active since
Affiliations
Alex Blekhman is an author at Technion – Israel Institute of Technology specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringData ModelingFormal MethodsSoftware DesignFormal VerificationFormal SpecificationSoftware EngineeringDesignBiologyLanguage
Publications per year
2009–2015
3
3
Model-based meta-standardization
Dov Dori, Richard A. Martin, Alex Blekhman · 2010 · 11 citations
Software Maintenance, Specification Language, Formal Specification +14
Rows per page
1–3 of 3