Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Emmanuel Pescosta
Latest
Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation
Cite
×