Supporting composition in symbolic system synthesis

Kai Neubauer, Christian Haubelt, Michael GlaƟ. Supporting composition in symbolic system synthesis. In Walid A. Najjar, Andreas Gerstlauer, editors, International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, SAMOS 2016, Agios Konstantinos, Samos Island, Greece, July 17-21, 2016. pages 132-139, IEEE, 2016. [doi]

Abstract

Abstract is missing.