مخبر الذكاء الاصطناعي وتطبيقاته

Model-Driven Software Engineering Techniques · Recycled Aggregate Concrete Performance · Logic, programming, and type systems · Formal Methods in Verification · Materials Engineering and Processing

COVID-19 diagnosis using AI · Cloud Data Security Solutions · Distributed Control Multi-Agent Systems · Blockchain Technology Applications and Security · AI in cancer detection

Privacy-Preserving Technologies in Data · UAV Applications and Optimization · Brain Tumor Detection and Classification · User Authentication and Security Systems · Blockchain Technology Applications and Security

Model-Driven Software Engineering Techniques · Formal Methods in Verification · Petri Nets in System Modeling · Digital Mental Health Interventions · Logic, programming, and type systems

Model-Driven Software Engineering Techniques · Logic, programming, and type systems · Formal Methods in Verification · Safety Systems Engineering in Autonomy · Access Control and Trust

Petri Nets in System Modeling · Business Process Modeling and Analysis · Model-Driven Software Engineering Techniques

Petri Nets in System Modeling · Model-Driven Software Engineering Techniques · Business Process Modeling and Analysis

Model-Driven Software Engineering Techniques · Safety Systems Engineering in Autonomy · Formal Methods in Verification