Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christophe Gaston
Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Based Testing for Component Oriented Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model Following Output Feedback Control for Discrete-Valued Input Systems
SICE Journal of Control, Measurement, and System Integration
Feedback Systems: Input-Output Properties
Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME
Control
Systems Engineering
Information Systems
Mechanical Engineering
Instrumentation
Computer Science Applications
Path Exploration Based on Symbolic Output
ACM Transactions on Software Engineering and Methodology
Software
Characterization of Hamiltonian Input-Output Systems
Contemporary Mathematics
Mathematics
Simple Correlated Channel Model for Ultrawideband Multiple-Input Multiple-Output Systems
IET Microwaves, Antennas and Propagation
Electronic Engineering
Electrical
Input/Output Compatibility of Reactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Classification of Symbolic Transition Systems
Prediction-Based Control of LTI Systems With Input and Output Time-Varying Delays
Systems and Control Letters
Control
Systems Engineering
Mechanical Engineering
Electronic Engineering
Electrical
Computer Science
