Concepedia
Statistics
Publications
1
Citations
59
H-Index
Active since
2004
Mihai Paşca is an author specializing in systems engineering, computer science, and software design.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2004–2004
Ensuring UML Models Consistency Using the OCL Environment
Dan Chiorean, Mihai Paşca, Adrian Cârcu et al. · Electronic Notes in Theoretical Computer Science · 2004 · 59 citations · Full text
Engineering, Verification, Software Engineering +20
1–1 of 1