Marisol García-Valls

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 36

Top Topics

Distributed Systems

Formal Verification

Parametric Models

Top Venues

J. Syst. Archit.

Future Gener. Comput. Syst.

Publications