If-2.0: A Validation Environment for Component-Based Real-Time Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45657-0_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Validation Approach for Ontology-Based Real-Time DBMS

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2019English

A Process for Continuous Validation of Self-Adapting Component Based Systems

2012English

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Validation Support for Distributed Real-Time Embedded Systems in VDM++

2007English

Real-Time Modelling of Distributed Component-Based Applications

English

Real Time Speech Based Integrated Development Environment for C Program

Circuits and Systems
2016English

Behavioral Compatibility Analysis of Component-Based Real-Time System

International Journal of Engineering and Manufacturing
2011English

DCA-Based Real-Time Residual Useful Life Prediction for Critical Faulty Component

Journal of Control Science and Engineering
Electronic EngineeringSimulationComputer Science ApplicationsElectricalModeling
2017English

SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy