Themulus: A Timed Contract-calculus

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

ISSN: 2184-4348

ISBN: 9789897584008

Year of publication: 2020

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

Pages: 193-204

Type: Conference paper

DOI: 10.5220/0008878001930204 GOOGLE SCHOLAR
Data source: Scopus