Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

International Journal of Embedded and Real-Time Communication Systems - United States
doi 10.4018/jertcs.2011040102
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IGI Global

Related search

Testing Automation Systems by Means of Model Checking

2017English

Dependable Computing and Online Testing in Adaptive and Configurable Systems

IEEE Design & Test of Computers
2000English

Model-Based Testing Design for Embedded Automotive Software

2009English

Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

Model Based Testing of an Embedded Session and Transport Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Model Based Testing of Distributed Time Critical Systems

2017English

On the Updating of Domain OWL Models at Runtime in Factory Automation Systems

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2014English

Applying Software Product Line Techniques in Model-Based Embedded Systems Engineering

2009English

Corba-Based Interoperation in Substation Automation Systems

IFAC Proceedings Volumes
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy