FORMAL VERIFICATION OF SIMULINK/STATEFLOW DIAGRAMS

SPRINGER NATURE B.V.

FORMAL VERIFICATION OF SIMULINK/STATEFLOW DIAGRAMS

HENGJUN ZHAO / NAIJUN ZHAN / SHULING WANG

Año edición: 29-06-2018

Colección:

EAN: 9783319836386

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

FORMAL VERIFICATION OF SIMULINK/STATEFLOW DIAGRAMS

SPRINGER NATURE B.V.

FORMAL VERIFICATION OF SIMULINK/STATEFLOW DIAGRAMS

HENGJUN ZHAO/NAIJUN ZHAN/SHULING WANG HENGJUN ZHAO/NAIJUN ZHAN/SHULING WANG HENGJUN ZHAO/NAIJUN ZHAN/SHULING WANG

9783319836386

160.80€