Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Susanne Graf
If-2.0: A Validation Environment for Component-Based Real-Time Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validating Timed UML Models by Simulation and Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
A Validation Approach for Ontology-Based Real-Time DBMS
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
A Process for Continuous Validation of Self-Adapting Component Based Systems
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Validation Support for Distributed Real-Time Embedded Systems in VDM++
Real-Time Modelling of Distributed Component-Based Applications
Real Time Speech Based Integrated Development Environment for C Program
Circuits and Systems
Behavioral Compatibility Analysis of Component-Based Real-Time System
International Journal of Engineering and Manufacturing
DCA-Based Real-Time Residual Useful Life Prediction for Critical Faulty Component
Journal of Control Science and Engineering
Electronic Engineering
Simulation
Computer Science Applications
Electrical
Modeling
SKiPPER: A Skeleton-Based Parallel Programming Environment for Real-Time Image Processing Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
