Cited By
View all- Mogul JGoricanec DPool MShaikh ATurk DKoley BZhao XBhagwan RPorter G(2020)Experiences with modeling network topologies at multiple levels of abstractionProceedings of the 17th Usenix Conference on Networked Systems Design and Implementation10.5555/3388242.3388272(403-418)Online publication date: 25-Feb-2020
- Chardet MCoullon HRobillard S(2020)Toward safe and efficient reconfiguration with concertoScience of Computer Programming10.1016/j.scico.2020.102582(102582)Online publication date: Dec-2020
- Jahanbanifar AKhendek FToeroe M(2020)Configuration of Complex Systems—Maintaining Consistency at RuntimeImplicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems10.1007/978-981-15-5054-6_10(199-224)Online publication date: 28-Jul-2020
- Show More Cited By