Verificación Automática de Procesos Industriales Críticos con Autómatas
Una meta de los diseñadores de negocio y desarrolladores de sistemas es construir aplicaciones de software confiables, proveyendo los sistemas para automatizar los procesos que constituyen el objetivo de una industria, conocidos como Procesos Industriales Críticos (PIC). Una forma de alcanzar esta m...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad del Zulia
|
| Series: | Revista Técnica de la Facultad de Ingeniería |
| Subjects: | |
| Online Access: | http://www.scielo.org.ve/scielo.php?script=sci_arttext&pid=S0254-07702016000300004&lng=en&tlng=en |