Modelling to Program: Second International Workshop, M2P 2020

Thalheim, Bernhard [szerk.]; Pastor, Oscar [szerk.]; Dahanayake, Ajantha [szerk.]

Angol nyelvű Konferenciakötet (Könyv) Tudományos

Megjelent: Springer International Publishing, Cham, Svájc, 242 p. 2021

Konferencia: 2nd International Workshop on Modelling to Program, M2P 2020 2020-03-10 [Lappeenranta, Finnország]

Sorozatok: Communications in Computer and Information Science 1865-0929 1865-0937, 1401

Azonosítók

MTMT: 31951701
DOI: 10.1007/978-3-030-72696-6
ISBN: 9783030726966
ISBN: 9783030726959
Egyéb URL: http://link.springer.com/10.1007/978-3-030-72696-6

Fejezetek

Kherbouche Meriem et al. Formal Model Checking and Transformations of Models Represented in UML with Alloy. (2021) Megjelent: Modelling to Program: Second International Workshop, M2P 2020 pp. 127-136

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

2025-04-26 14:50