Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-25945-1_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Symbolic Model Based Testing for Component Oriented Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Model Following Output Feedback Control for Discrete-Valued Input Systems

SICE Journal of Control, Measurement, and System Integration
2014English

Feedback Systems: Input-Output Properties

Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME
ControlSystems EngineeringInformation SystemsMechanical EngineeringInstrumentationComputer Science Applications
1975English

Path Exploration Based on Symbolic Output

ACM Transactions on Software Engineering and Methodology
Software
2013English

Characterization of Hamiltonian Input-Output Systems

Contemporary Mathematics
Mathematics
1989English

Simple Correlated Channel Model for Ultrawideband Multiple-Input Multiple-Output Systems

IET Microwaves, Antennas and Propagation
Electronic EngineeringElectrical
2007English

Input/Output Compatibility of Reactive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

A Classification of Symbolic Transition Systems

1999English

Prediction-Based Control of LTI Systems With Input and Output Time-Varying Delays

Systems and Control Letters
ControlSystems EngineeringMechanical EngineeringElectronic EngineeringElectricalComputer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy