Bookmark
Next issue
№2
Publication date:
16 June 2019
Shipov A.A.
(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.
