Specification language for automatа-based objects cooperation
Automata-based programming is a programming paradigm that has been successfully used in the development of reactive systems, distributed control systems, and various mission-critical applications where the ability to verify the compliance of a real system with its model given in the form of specific...
Na minha lista:
| Principais autores: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
ITMO University
2024-12-01
|
| Colecção: | Научно-технический вестник информационных технологий, механики и оптики |
| Assuntos: | |
| Acesso em linha: | https://ntv.elpub.ru/jour/article/view/410 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|