Spécification formelle de la transformation modèle-vers-texte de la méthodologie HILECOP
Vincent Iampietro · HAL (Le Centre pour la Communication Scientifique Directe) · 2022
This document serves as a reference for the formal specification of the HILECOP model-to-text transformation.HILECOP is a methodology for the design and synthesis of safety-critical digital systems. Here, we specify how an input Petri net model is transformed into a VHDL design.