cd/entity/formal verification· home› entities› formal verification
grep -l @formal verification /news/*.json | wc -l → 1

formal verification

mentions 1 type Person feed RSS

// recent coverage 1 mentions

10:00
2026-05-25
content.knowledgehub.wiley.com
artificial-intelligence

AI with Model-Based Design: Virtual Sensor Modeling

MathWorks hosted a webinar demonstrating an end-to-end workflow for designing, training, and deploying AI-based virtual sensor models to embedded processors within a single environment. The session hi…

// co-occurs with top 7 entities
Simulink 1 MATLAB 1 Model-Based Design 1 AI-based virtual sensor models 1 PIL tests 1 C code 1 embedded processors 1
// topics top 5 topics
artificial intelligence 1 machine learning 1 neural networks 1 ai tools 1 ai products 1