ALaRI Hang Glider

Search form

Education and Innovation in Embedded Systems Design

USI Università della Svizzera italiana, USI Faculty of Informatics, Advanced Learning and Research Institute USI Università della Svizzera italiana USI Faculty of Informatics USI Advanced Learning and Research Institute
Search by content:
Search by:
Export 3 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is StateCharts  [Clear All Filters]
Conference Paper
Mura, M., and M. Paolieri, "SC2: State Charts to System C: Automatic Executable Models Generation", proceedings FDL07, Barcelona, Spain, September, 2007.
Baddour, R., A. Paspaliaris, and D. Solis Herrera, "SCV2: A model-based validation and verification approach to system-of-systems engineering", System of Systems Engineering Conference (SoSE), 2015 10th: IEEE, 05/2015.
Mura, M., M. Paolieri, L. Negri, and M. Sami, "StateCharts to SystemC: a High Level Hardware Simulation Approach", Proceedings of GLSVLSI 2007, Stresa, Italy, March 11-13, 2007.