Login / Signup
Tatiana V. Liakh
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Control Software
Mazurkiewicz Traces
Temporal Logic
Requirements Specification
Top Venues
Autom. Control. Comput. Sci.
FedCSIS
FSEN
Ershov Informatics Conference
</>
Publications
</>