Centro de Investigación y de Estudios Avanzados -ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2007

  1. A μ-calculus approach for the synthesis of discrete-event supervisors with safety specifications

    2007 4th International Conference on Electrical and Electronics Engineering, ICEEE 2007