Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Frédéric Mallet
Meta-Models Combination for Reusing Verification Techniques
Executing AADL Models With UML/MARTE
Related publications
Reusing Formal Models
Scientific Workflow for Reusing Plant/FSPM Models
Verification Techniques for LOTOS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification Methodology for DEVS Models
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Reusing Platform-Specific Models in Model-Driven Architecture for Software Product Lines
Constructing Property-Oriented Models for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
