Concepedia
Statistics
Publications
1
Citations
44
H-Index
Active since
1989
Didier Vergamini is an author specializing in engineering, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningDistributed SystemsFormal VerificationSystems EngineeringSoftware Verification
Publications per year
1989–1989
AUTO: A Verification Tool for Distributed Systems Using Reduction of Finite Automata Networks
Eric Madelaine, Didier Vergamini · Formal Techniques for (Networked and) Distributed Systems · 1989 · 44 citations
Verification Tool, Logical Automaton, Engineering +12
1–1 of 1