Automatic Verification of Critical Industrial Process with Automata
A goal of the designers of business and system developers is to build reliable software applications, providing the systems to automate the processes that constitute the objective of an industry, known as Critical Industrial Processes (CIP). One way to achieve this goal is using formal verification...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad del Zulia
2016-12-01
|
| Series: | Revista Técnica de la Facultad de Ingeniería |
| Subjects: | |
| Online Access: | https://www.produccioncientificaluz.org/index.php/tecnica/article/view/22030 |