Amanote Research
Register
Sign In
Incremental Generation of Linear Invariants for Component-Based Systems
doi 10.1109/acsd.2013.11
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2013
Authors
Saddek Bensalem
Marius Bozga
Benoit Boyer
Axel Legay
Publisher
IEEE
Related search
Incremental Composition Process for the Construction of Component-Based Management Systems
Sensors
Instrumentation
Information Systems
Electronic Engineering
Biochemistry
Analytical Chemistry
Molecular Physics,
Electrical
Atomic
Medicine
Optics
Homogeneous Indices, Feedback Invariants and Control Structure Theorem for Generalized Linear Systems
SIAM Journal on Control and Optimization
Control
Applied Mathematics
Optimization
Equimorphism Invariants for Scattered Linear Orderings
Fundamenta Mathematicae
Number Theory
Algebra
Constructing Invariants for Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A New Approach of Component Based Software Development Using Incremental Approach
International Journal of Advanced Research in Computer Science and Software Engineering
Invariants for Parameterised Boolean Equation Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Invariants of Sets of Linear Varieties.
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Incremental Synthesis of Control Policies for Heterogeneous Multi-Agent Systems With Linear Temporal Logic Specifications
Linear-Time, Incremental Hierarchy Inference for Compression
