Cargando…
Formal methods in manufacturing
Autores principales: | Campos, Javier, Seatzu, Carla, Xie, Xiaolan |
---|---|
Lenguaje: | eng |
Publicado: |
CRC Press
2014
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1749189 |
Ejemplares similares
-
Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018) -
Control of Discrete-Event Systems: Automata and Petri Net Perspectives
por: Seatzu, Carla, et al.
Publicado: (2013) -
2nd IFAC Conference on Analysis and Design of Hybrid Systems 2006
por: Cassandras, Christos, et al.
Publicado: (2007) -
Formal methods for mining structured objects
por: Garriga, Gemma C
Publicado: (2013) -
Formal methods for discrete-time dynamical systems
por: Belta, Calin, et al.
Publicado: (2017)