Keyphrases
Behavioral Contracts
23%
Binary Decision Diagram
23%
C + +
32%
Closed Surface
23%
Computer Science Research
23%
Concurrent Collections
46%
Constraint Satisfaction
46%
Coordination Programming
46%
Coq Proof Assistant
23%
Decision Procedure
66%
Derivative System
62%
Differential Inclusion System
23%
Edge-to-edge
30%
Engineering Science
23%
Equality Logic
80%
First-order Predicate Logic
23%
Hybrid Algorithm
23%
Hybrid Automata
46%
Hybrid System
90%
Inclusion Systems
23%
Interface Automata
23%
Interface Components
46%
Interface Configuration
34%
Interface Definition
30%
Kahn Process Networks
23%
Local Configurations
23%
Logic Formulas
30%
Modular Development
23%
Module Types
23%
Mortality Problem
50%
Mysore
23%
Orientable
23%
Piecewise Affine Maps
32%
Piecewise Constant
62%
Probabilistic Model Checking
23%
Propositional Proof Systems
23%
Reachability
100%
Reachability Analysis
46%
Reachability Problem
66%
Research Meeting
23%
Resilient Systems
23%
Resolution Refutation
46%
S-net
46%
Service Interface
46%
Supply Chain Business Processes
23%
Synchronous Communication
23%
Two Dimensional
24%
Undecidable
24%
Uninterpreted Functions
53%
Web Services
57%
Computer Science
Automaton
28%
binary decision diagram
46%
Business Process
23%
Case Study
57%
Cholesky's Decomposition
23%
Component Interface
46%
Computer Hardware
34%
Conjunctive Normal Form
23%
Connected Component
16%
Constraint Programming
23%
Constraint Satisfaction Problems
50%
Decision Problem
23%
Decision Procedure
92%
Dimensional Manifold
51%
Dynamical System
38%
Efficient Implementation
23%
Formalization
23%
Hybrid Algorithm
23%
Hybrid Automaton
46%
Interface Description Language
23%
Interface System
23%
Kahn Process Network
23%
Language Definition
23%
Linear Systems
23%
Local Procedure
12%
Model Checking
23%
Modeling Business Process
23%
Optimized Version
23%
Order Predicate Logic
23%
Performance Comparison
23%
Polynomial Complexity
23%
Preprocessing Step
23%
Proof System
46%
Reachability Analysis
46%
Reachability Problem
69%
Resolution Refutation
46%
Satisfiability Problem
23%
Sequential Implementation
23%
Service Interface
46%
Service Oriented Computing
15%
Software Verification
19%
Soundness
46%
Source Codes
16%
Sufficient Condition
23%
Supply Chain
23%
Synchronous Communication
23%
Uncertain Information
23%
Underlying Algorithm
23%
Web Service
57%
Web Service Interface
23%
