Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mikheil Rukhaia
conf.researchr.org general profile
FSEN 2025 profile
Not registered as user
Name:
Mikheil Rukhaia
Affiliation:
Institute of Applied Mathematics, Tbilisi State University
Contributions
2025
FSEN
Author of Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic within the Marjan Festschrift-track
Share
x
Sat 19 Apr 12:54
