First Page | Document Content | |
---|---|---|
Date: 2012-09-25 06:20:13Software 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 AmbertAdd to Reading ListSource URL: st.inf.tu-dresden.deDownload Document from Source WebsiteFile Size: 232,23 KBShare Document on Facebook |