![]() | ![]() |
2000 | ||
---|---|---|
6 | EE | Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg: Co-simulation of Hybrid Systems: Signal-Simulink. FTRTFT 2000: 134-151 |
1999 | ||
5 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: Formal Verification of Dynamic Properties in an Aerospace Application. Formal Methods in System Design 14(2): 135-169 (1999) | |
1995 | ||
4 | Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top: Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. Hybrid Systems 1995: 282-293 | |
3 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: Proving Dynamic Properties in an Aerospace Application. IEEE Real-Time Systems Symposium 1995: 2-10 | |
1994 | ||
2 | Simin Nadjm-Tehrani, Jan-Erik Strömberg: From Physical Modelling to Compositional Models of Hybrid Systems. FTRTFT 1994: 583-604 | |
1991 | ||
1 | Ulf Söderman, Jan-Erik Strömberg: Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. IJCAI 1991: 1158-1163 |
1 | Albert Beneviste | [6] |
2 | Simin Nadjm-Tehrani | [2] [3] [4] [5] [6] |
3 | Ulf Söderman | [1] |
4 | Jan L. Top | [4] |
5 | Stéphane Tudoret | [6] |