Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bastien Tramoni
Automatic Translation of Architecture Constraint Specifications Into Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Executing Specifications Using Synthesis and Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Specification Translation From Behavioral Specifications to Rewrite Specifications
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Automatic Testing From Formal Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Model Driven Animation of SCR Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Creation of Interface Specifications From Ontologies
Translation of the ‘Landscape Architecture’ Into Chinese and How to Build the Discipline of Landscape Architecture in China?
International Research in Education
An Evolutionary Approach to Translating Operational Specifications Into Declarative Specifications
Science of Computer Programming
Software
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: A Seamless Flow of Graphs Transformations
Compiling Problem Specifications Into SAT
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
