Correctness of Vehicle Control Systems: A Case Study
Authors:
H. B. Weinberg
Affiliations:
-
Venue:
Correctness of Vehicle Control Systems: A Case Study
Year:
1996
Citing
0
Cited
1
Hybrid I/O automata
Information and Computation
Quantified Score
Hi-index
0.01
Visualization
Abstract