Home > Research > Browse

Results for Algebra

Publications & Outputs

  1. Continuous Network Update With Consistency Guaranteed in Software-Defined Networks

    He, X., Zheng, J., Dai, H., Zhang, C., Li, G., Dou, W., Rafique, W., Ni, Q. & Chen, G., 30/06/2022, In: IEEE/ACM Transactions on Networking . 30, 3, p. 1424-1438 15 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  2. Practical Formal Verification for Model Based Development of Cyber-Physical Systems

    Ishigooka, T., Saissi, H., Piper, T., Winter, S. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 1-8 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review