Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Mathematical logic / Formal methods / Computability theory / Lambda calculus / Subroutines / Satisfiability modulo theories / XC / HindleyMilner type system / First-order logic / Recursion


Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert
Add to Reading List

Document Date: 2012-09-25 06:20:13


Open Document

File Size: 232,23 KB

Share Result on Facebook