Semantics for Model-Based Validation of Continuous/Discrete Systems
暂无分享,去创建一个
Hanifa Boucheneb | Gabriela Nicolescu | Luiza Gheorghe Iugan | Faouzi Bouchhima | G. Nicolescu | F. Bouchhima | H. Boucheneb
[1] Gabriel A. Wainer,et al. M/CD++: modeling continuous systems using Modelica and DEVS , 2005, 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.
[2] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[3] Christoph Grimm,et al. Analog and mixed signal modelling with SystemC-AMS , 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..
[4] Ernst Christen,et al. VHDL 1076.1-analog and mixed-signal extensions to VHDL , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.
[5] Sandeep K. Shukla,et al. SystemC Kernel extensions for heterogeneous system modeling - a framework for multi-MoC modeling and simulation , 2004 .
[6] J.-L. Paillet,et al. From timed automata to DEVS models , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..
[7] Frédéric Châne,et al. Simulation and verification II: from timed automata to DEVS models , 2003, WSC '03.
[8] Hiren D. Patel,et al. SystemC Kernel Extensions for Hetero-geneous System Modeling , 2004 .
[9] Peter Frey,et al. Verilog-AMS: Mixed-signal simulation and cross domain connect modules , 2000, Proceedings 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation.
[10] Edward A. Lee,et al. Comparing models of computation , 1996, Proceedings of International Conference on Computer Aided Design.
[11] Axel Jantsch,et al. Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.