Bookmark
Next issue
№1
Publication date:
16 March 2020
Shipov A.A.
Ph.D (a-j-a-1@yandex.ru)
Russian State Social University
Author in:
- The limitation method for verifiable models Co-authors: Korablin Yu.P.
- Equational characteristics of LTL formulas Co-authors: Korablin Yu.P.
- The method of distributed analysis of verifiable models properties
- System models construction based on LTL formula equational characteristics Co-authors: Korablin Yu.P.
- System model verification based on equational characteristics of LTL formulas Co-authors: Korablin Yu.P., A.S. Kochergin
- The unified representation of LTL and CTL logics formulas by recursive equation systems Co-authors: Korablin Yu.P.
- Systems model verification based on equational characteristics of СTL formulas Co-authors: Korablin Yu.P.
