Runtime Verification of Component-Based Embedded Software

doi 10.1007/978-1-4471-2155-8_60
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer London

Related search

Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Component-Based Hardware/Software Co-Verification

English

Embedded Software Verification in Hardware–software Codesign

Journal of Systems Architecture
HardwareArchitectureSoftware
2000English

Runtime Validation of Behavioural Contracts for Component Software

English

Runtime Verification of Stochastic Systems

2010English

Towards a Software Framework for Building Highly Flexible Component-Based Embedded Operating Systems

English

Runtime Verification With Particle Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Runtime Verification of Stochastic, Faulty Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Incremental Runtime Verification of Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy