Constraint automaton - PDFSEARCH.IO - Document Search Engine

Constraint automaton
Results: 7

#	Item
1	Scientific Report First name / Family name Francesco Santini Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2015-06-30 09:13:18 Constraint programming Mathematical optimization Software engineering Computer programming Constraint automaton Computing Constraint satisfaction problem Constraint satisfaction Constraint Reo Coordination Language Constrained optimization Multi-agent system
2	Component Behavior Synthesis for Critical Systems, Tobias Eckardt and Stefan Henkler Software Engineering Group, Heinz Nixdorf Institute, University of Paderborn, Warburger Str. 100, Paderborn, Germany {tobie,shenkler Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:38:10 Horology Constraint automaton Automata theory Cellular automata Clock
3	Efficient Reasoning about Data Trees via Integer Linear Programming Claire David Leonid Libkin Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:00:04 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Symbol Tree automaton Satisfiability Theoretical computer science Applied mathematics Mathematics
4	IEEE 21st21st International International Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-01-30 20:10:35 Constraint automaton Automata theory Model checking Web service
5	The Effects of Bounding Syntactic Resources on Presburger LTL ∗ St´ephane Demri LSV, ENS Cachan CNRS, INRIA Saclay [removed] Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2009-06-18 03:59:48 Automata theory Logic in computer science Model theory Complexity classes Electronic design automation Satisfiability FO Boolean satisfiability problem Constraint automaton Theoretical computer science Mathematical logic Mathematics
6	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
7	PDF Document Add to Reading List Source URL: www.vereofy.de Language: English - Date: 2013-08-08 02:46:46 Computer science Finite-state machine Software engineering Computing Automata theory Vereofy Constraint automaton