1
Publications
163
Citations
1
H-Index
1999
Active since
Affiliations
Gérald Point is an author at Laboratoire Bordelais de Recherche en Informatique specializing in software design, computer science, and semantics.
Top concepts
SemanticsEngineeringFormal MethodsComplex SystemsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationFormal Specification
Publications per year
1999–1999
1
1
The AltaRica Formalism for Describing Concurrent Systems
André Arnold, Gérald Point, Alain Griffault et al. · Fundamenta Informaticae · 1999 · 163 citations
Rows per page
1–1 of 1