Themulus: A Timed Contract-calculus

  1. García, A.A.
  2. Cambronero, M.-E.
  3. Colombo, C.
  4. Llana, L.
  5. Pace, G.J.
Actas:
International Conference on Model-Driven Engineering and Software Development

ISSN: 2184-4348

ISBN: 9789897584008

Año de publicación: 2020

MODELSWARD 2020 - Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

Páginas: 193-204

Tipo: Aportación congreso

DOI: 10.5220/0008878001930204 GOOGLE SCHOLAR
Fuente de los datos: Scopus