Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "quantitative model checking"
- Status: NewStatus: Free Trial
Skills you'll gain: Large Language Modeling, Generative AI, MLOps (Machine Learning Operations), Deep Learning, PyTorch (Machine Learning Library), Application Deployment, Cloud Computing, Natural Language Processing, Reinforcement Learning, Image Analysis, Performance Tuning, Computer Vision
- Status: New
Google Cloud
Skills you'll gain: Threat Modeling, Open Web Application Security Project (OWASP), Large Language Modeling, Application Security, Secure Coding, Security Controls, Prompt Engineering, Google Cloud Platform, Systems Architecture, Application Programming Interface (API)
- Status: Free Trial
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Systems Architecture, Network Model, Requirements Analysis, Systems Analysis, Software Systems, Automation, Simulations, Control Systems, Linear Algebra, Differential Equations, Computer Science, Real-Time Operating Systems, Hardware Architecture, Artificial Intelligence
- Status: NewStatus: Preview
Skills you'll gain: Generative AI Agents, Real Time Data, Debugging, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Data Access, Server Side, Generative AI, Cloud API, Application Programming Interface (API), Interoperability, Integrated Development Environments, Software Architecture
- Status: NewStatus: Preview
Fractal Analytics
Skills you'll gain: Threat Modeling, Enterprise Architecture, Infrastructure Architecture, Application Security, Security Controls, Real Time Data, Generative AI Agents, Interoperability, Systems Architecture, Security Strategy, Agentic systems, Artificial Intelligence, Generative AI, Servers, Computer Programming
- Status: Preview
Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Practices, Mathematical Modeling, Engineering Analysis, Systems Engineering, Systems Design, Performance Tuning, Matlab
- Status: NewStatus: Free Trial
Coursera Instructor Network
Skills you'll gain: Data Collection, Research Design, Research Methodologies, Qualitative Research, Data Ethics, Quantitative Research, Research Reports, Data Integration, Data Presentation, Data Storytelling, Surveys, Interactive Data Visualization, Stakeholder Communications, Data Management, Analysis
- Status: Preview
Skills you'll gain: Systems Development Life Cycle, Unified Modeling Language, Systems Engineering, Systems Design, Software Systems, Systems Architecture, Systems Analysis, Systems Integration, Simulations, Solution Architecture, Requirements Analysis, Verification And Validation, Cloud Computing
- Status: NewStatus: Preview
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, System Programming, Software Architecture, Graph Theory, Hardware Architecture, Algorithms, Logical Reasoning
- Status: Free Trial
University at Buffalo
Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Industrial Engineering, Manufacturing Processes, Internet Of Things, Product Lifecycle Management, Enterprise Architecture, Verification And Validation, Process Analysis
- Status: Free Trial
University of California, Davis
Skills you'll gain: Surveys, Statistical Hypothesis Testing, Quantitative Research, Statistical Analysis, Marketing Analytics, Market Research, Data Analysis, Marketing, Target Market, Regression Analysis, Sample Size Determination, Quality Control
In summary, here are 10 of our most popular quantitative model checking courses
- Quick Start Guide to Large Language Models (LLMs): Unit 3:Â Pearson
- Model Armor: Securing AI Deployments:Â Google Cloud
- Basic Engineering Mathematics:Â Birla Institute of Technology & Science, Pilani
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Intro to Model Context Protocol (MCP):Â Scrimba
- Model Context Protocol (MCP) Mastery:Â Fractal Analytics
- Modeling and Simulation with Simulink :Â MathWorks
- Mixed Methods Research: Bridging Qualitative & Quantitative:Â Coursera Instructor Network
- Introduction to Model-Based Systems Engineering:Â Siemens
- Introduction to Modeling for Formal Verification:Â University of Colorado Boulder