Beeld op de omslag

A blended modeling framework for real-time design and verification of safety-critical embedded systems

Bewaard in:
Gepubliceerd in:PLoS One vol. 20, no. 12 (Dec 2025), p. e0337604
Hoofdauteur: Misbah Mehboob Awan
Andere auteurs: Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam
Gepubliceerd in:
Public Library of Science
Onderwerpen:
Language
Verification
Performance evaluation
Control systems
Syntax
Modelling
Systems design
Synchronization
Cruise control
Synchronism
Automation
Safety critical
Representations
Efficiency
Transformations (mathematics)
User interface
Design flow
Embedded systems
Programming languages
Systems development
Design
Latency
Designers
Real time
Product development
Economic
Online toegang:Citation/Abstract
Full Text
Full Text - PDF
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!