Themulus: A Timed Contract-calculus

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

ISSN: 2184-4348

ISBN: 9789897584008

Datum der Publikation: 2020

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

Seiten: 193-204

Art: Konferenz-Beitrag

DOI: 10.5220/0008878001930204 GOOGLE SCHOLAR
Datenquelle: Scopus