Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marina Egea
Formal Executable Semantics for Conformance in the MDE Framework
Innovations in Systems and Software Engineering
Software
Related publications
A Formal Framework for Prototyping Executable Semantics in ATL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Framework for Formal Methods in Conformance Testing
Conformance Testing of Distributed Concurrent Systems With Executable Designs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Some Formal Semantics for Epistemic Modesty
Logic and Logical Philosophy
Philosophy
Formal Semantics and Verification for Feature Modeling
An Ocarina Extension for AADL Formal Semantics Generation
Algebraic Framework for Synchronous Language Semantics
A Formal Semantics for Isorecursive and Equirecursive State Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Semantics: Origins, Issues, Early Impact
Baltic International Yearbook of Cognition, Logic and Communication
