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

Guardado en:

Bibliografiske detaljer
Udgivet i:	PLoS One vol. 20, no. 12 (Dec 2025), p. e0337604
Hovedforfatter:	Misbah Mehboob Awan
Andre forfattere:	Muhammad Waseem Anwar, Wasi Haider Butt, Farooque Azam
Udgivet:	Public Library of Science
Fag:	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 adgang:	Citation/Abstract Full Text Full Text - PDF
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!