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)
114
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
Assessment Mechanism
50%
Automated Test Generation
50%
Automotive Industry
50%
Automotive Sector
50%
Code Patterns
50%
Compiler
50%
Compiler Defect
50%
Coverage Criteria
50%
Detect Fault
50%
Embedded Controller
50%
Embedded Software Systems
50%
Embedded Systems
100%
Execution Behavior
100%
Formal Verification
50%
Generation Mechanism
50%
Model Generation
50%
Motorola
50%
Self-assessment
50%
Structural Test
50%
Test Case Generation
50%
Testing Method
50%
Verification Framework
100%
Computer Science
Automated Test
50%
Case Generation
50%
Case Study
50%
Coverage Criterion
50%
Data Generation
50%
Embedded Software
50%
Embedded Systems
100%
Formal Verification
50%
High Importance
50%
Model Checking
50%
Model Generation
50%
Running Program
50%
Software Systems
50%
Subsequent Release
50%
Target Platform
50%