Amanote Research
Register
Sign In
Model Synthesis From Imprecise Specifications
doi 10.5220/0002669500200025
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications
Related search
A Tutorial on Synthesis of Logic Programs From Specifications
Parallelizing Synthesis From Temporal Logic Specifications by Identifying Equicontrollable States
Robotics Research
The STP Model for Solving Imprecise Problems
Relaxed Stationary Power Spectrum Model Using Imprecise Probabilities
Executing Specifications Using Synthesis and Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking RAISE Applicative Specifications
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Distributed Synthesis for Regular and Contextfree Specifications
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
