1
Publications
551
Citations
1
H-Index
1990
Active since
Affiliations
L. Amat is an author at Centre National de la Recherche Scientifique specializing in software testing, systems engineering, and control systems.
Top concepts
EngineeringReliabilityVerificationFormal MethodsControl SystemsSystem SoftwareComputer ScienceEmbedded SystemsHardware SystemsProgram Analysis
Publications per year
1990–1990
1
1
Rows per page
1–1 of 1