Concepedia

Anca Goron

AG

Statistics

Publications

2

Citations

37

H-Index

2

Active since

2014

Affiliations

Technical University of Cluj-Napoca(Current)

Anca Goron is an author at Technical University of Cluj-Napoca specializing in formal methods, verification, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationSystems EngineeringInspectionProcess SafetySafety ScienceControl SystemsProcess Control

Publications per year

2014–2015

2

Publications

2

Assuring safety in air traffic control systems with argumentation and model checking

Sergio Alejandro Gómez, Anca Goron, Adrian Groza et al. · Expert Systems with Applications · 2015 · 23 citations

Safety Engineering, Engineering, Automated Reasoning +12

Model checking as support for inspecting compliance to rules in flexible processes

Ioan Alfred Leţia, Anca Goron · Journal of Visual Languages & Computing · 2014 · 14 citations

Engineering, Inspection, Formal Modeling +15

1–2 of 2