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. Neural Networks, Secure by Construction. Neural Networks, Secure by Construction. Implementing Multiparty Session Types in Rust. Implementing Multiparty Session Types in Rust. Statically verified refinements for multiparty protocols. Statically verified refinements for multiparty protocols.