Skip to main navigation
Skip to search
Skip to main content
University of Hertfordshire (Research Profiles) Home
Home
Profiles
Research output
Projects
Research units
Search by expertise, name or affiliation
Cross-platform verification framework for embedded systems
Ingomar Wenzel
,
Raimund Kirner
, Bernhard Rieder
, Peter Puschner
Centre for AI and Robotics Research
Department of Computer Science
School of Physics, Engineering & Computer Science
Cybersecurity and Computing Systems
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
2
Citations (Scopus)
113
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Cross-platform verification framework for embedded systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Execution Behavior
100%
Embedded Systems
100%
Verification Framework
100%
Motorola
50%
Formal Verification
50%
Assessment Mechanism
50%
Test Case Generation
50%
Testing Method
50%
Code Patterns
50%
Compiler
50%
Detect Fault
50%
Model Generation
50%
Embedded Controller
50%
Self-assessment
50%
Embedded Software Systems
50%
Automated Test Generation
50%
Compiler Defect
50%
Generation Mechanism
50%
Automotive Sector
50%
Coverage Criteria
50%
Automotive Industry
50%
Structural Test
50%
Computer Science
Embedded Systems
100%
Data Generation
50%
Automated Test
50%
Formal Verification
50%
Subsequent Release
50%
High Importance
50%
Running Program
50%
Model Checking
50%
Software Systems
50%
Case Generation
50%
Target Platform
50%
Case Study
50%
Model Generation
50%
Coverage Criterion
50%
Embedded Software
50%