Samir Tigane is an author at University of Biskra specializing in formal verification, engineering, and real-time systems.
Top concepts
AutomationEngineeringVerificationFormal MethodsComputer ScienceReal-time SystemsFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2017–2023
3
3
Dynamic Timed Automata for Reconfigurable System Modeling and Verification
Samir Tigane, Fayçal Guerrouf, Nadia Hamani et al. · Axioms · 2023 · 15 citations · Full text
Rows per page
1–3 of 3