Cited By
View all- Bagheri MSirjani MKhamespanah EBaier CMovaghar A(2022)Magnifier: A Compositional Analysis Approach for Autonomous Traffic ControlIEEE Transactions on Software Engineering10.1109/TSE.2021.306919248:8(2732-2747)Online publication date: 1-Aug-2022
- Lee ESirjani M(2018)What Good are Models?Formal Aspects of Component Software10.1007/978-3-030-02146-7_1(3-31)Online publication date: 5-Oct-2018