Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Perdita Stevens. Softw Syst Model 19, 935–958, 2020. 2020 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts History-deterministic Timed Automata. History-deterministic Timed Automata. Learning Weighted Automata over Principal Ideal Domains. FoSSaCS 2020. Lecture Notes in Computer Science, vol 12077. Learning Weighted Automata over Principal Ideal Domains. FoSSaCS 2020. Lecture Notes in Computer Science, vol 12077. Modular Relaxed Dependencies in Weak Memory Concurrency. Modular Relaxed Dependencies in Weak Memory Concurrency. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation.