CoreASM Workshop am 17./18. Oktober, Vortrag am 17.10. um 10 Uhr im Raum o27/429 von Ph.D. Roozbeh Farahbod (SAP Research, Karlsruhe, Deutschland) Ph.D. Vincenzo Gervasi (Universita di Pisa, Italia)

Universität Ulm

Design and Development of an Extensible Modeling Framework for High-level Executable Specifications of Distributed Systems