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...
Zapisane w:
| Główni autorzy: | , , , |
|---|---|
| Format: | Artigo |
| Język: | Inglês |
| Wydane: |
ITMO University
2024-12-01
|
| Seria: | Научно-технический вестник информационных технологий, механики и оптики |
| Hasła przedmiotowe: | |
| Dostęp online: | https://ntv.elpub.ru/jour/article/view/410 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|