@phdthesis{knorreck:pastel-00662744, TITLE = {{UML-Based Design Space Exploration, Fast Simulation and Static Analysis}}, AUTHOR = {Knorreck, Daniel}, URL = {https://pastel.hal.science/pastel-00662744}, SCHOOL = {{T{\'e}l{\'e}com ParisTech}}, YEAR = {2011}, MONTH = Oct, KEYWORDS = {Embedded Systems ; System-on-Chip ; Modeling ; Graphical Property Language ; System Level ; Coverage ; Syst{\`e}mes embarqu{\'e}s ; Syst{\`e}mes sur Puce ; Modelisation ; UML ; SysML ; Abstraction ; Simulation ; V{\'e}rification ; Langage de propri{\'e}t{\'e}s graphique ; Niveau Syst{\`e}me ; Couverture}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00662744/file/thesisit.pdf}, HAL_ID = {pastel-00662744}, HAL_VERSION = {v1}, }