Control and Diagnosis of Discrete-event Systems with Temporal Logic Specifications

  • Kumar, Ratnesh (PI)

Detalles del proyecto

EstadoFinalizado
Fecha de inicio/Fecha fin8/1/01 → 8/15/02