Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mario Reja
conf.researchr.org general profile
FSEN 2025 profile
Not registered as user
Name:
Mario Reja
Affiliation:
West University of Timisoara
Contributions
2025
FSEN
Author of Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic within the Marjan Festschrift-track
Share
x
Thu 3 Apr 11:48
