Compositional Modeling in Metropolis (0)

by G Goessler, A Sangiovanni-Vincentelli
Venue:In Proceedings of Second International Workshop on Embedded Software (EMSOFT