Butaev, Mikhail M., JSC Research and Production Enterprise “Rubin”, 440000, Russia, Penza, Baydukova St., 2, Russian Federation
-
Nexo Scientific Journal Vol. 34 No. 01 (2021) - Articles
Behaviour examples for synthesizing automaton models by temporal formulas
Abstract PDF