Formal Methods in Computer-Aided Design
Work
Year: 2004
Type: book
Authors Julien Schmaltz, D. Borrione
Cites: 8
Cited by: 18
Related to: 10
FWCI: 0.44
Citation percentile (by year/subfield): 77.39
Subfield: Industrial and Manufacturing Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: green