Close
Finite state-machine verification applied to hybrid systems
List of files deposited in:
dpi.inpe.br/plutao/2012/11.28.13.56.39
Name
Last modified
Size
download
::
romero_finite.pdf
24/11/2020 12:43
853.0 KiB
2 hidden files
Close