Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nuno Amálio
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Platform-Independent to Platform-Specific Models Using Democles
Related publications
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
XMI-based Transformation From UML Models to LQN Performance Models
Formal Test-Case Generation for UML Statecharts
From UML to Performance Models by XML Transformations
Code Generation From UML Models With Semantic Variation Points
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
System Test Synthesis From UML Models of Distributed Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
UML Based Formal Model of Smart Transformer Power System
International Journal of Advanced Computer Science and Applications
Computer Science
Executing and Debugging UML Models
Formal Verification of UML Statecharts With Real-Time Extensions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
