Automated Technology for Verification and Analysis
Work
Year: 2014
Type: book
Authors Franck Cassez, Jean-François Raskin
Institutions Data61, Université Libre de Bruxelles
Cites:
Cited by: 3
Related to: 10
FWCI: 0.104
Citation percentile (by year/subfield): 53.11
Subfield: Control and Systems Engineering
Field: Engineering
Domain: Physical Sciences
Open Access status: closed