Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Giuseppe Cadavero
Institution:
Trenitalia (Italy)
Observed institution:
Trenitalia (Italy)
OpenAlex ID:
A5083270908
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks
2018
·
Roberto Cavada
, Alessandro Cimatti
, et al.
·
Formal Methods in Computer-Aided Design
·
20
Show more works
View as search
Works count:
1
Citation count:
20
H-index:
1
I10-index:
1
Year
Topic
Type
