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"
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Dataflow, Mathematical Theory & Analysis, Systems Analysis, Performance Testing, Network Model, Embedded Systems, Graph Theory
- Status: Free Trial
Imperial College London
Skills you'll gain: Epidemiology, Infectious Diseases, Mathematical Modeling, Public Health, R Programming, Differential Equations
- Status: Preview
Skills you'll gain: Model Based Systems Engineering, Systems Integration, Engineering Design Process, Simulation and Simulation Software, Mathematical Modeling, Engineering Analysis, Matlab, Engineering Software, Engineering, Mechanical Engineering, Electrical Engineering, Control Systems
Skills you'll gain: Software Testing, Business Logic, Secure Coding, Cryptography, Cybersecurity, Identity and Access Management, Authentications, Vulnerability Assessments, Encryption, Data Validation, Network Protocols, Authorization (Computing), Web Applications
- Status: Free Trial
Imperial College London
Skills you'll gain: Mathematical Modeling, Statistical Modeling, Simulations, Epidemiology, Infectious Diseases, R Programming, Public Health
- Status: Free Trial
Johns Hopkins University
Skills you'll gain: Statistical Modeling, Exploratory Data Analysis, R Programming, Predictive Modeling, Statistical Hypothesis Testing, Tidyverse (R Package), Data Analysis, Data Modeling, Data-Driven Decision-Making, Regression Analysis, Data Science, Classification And Regression Tree (CART), Statistical Inference, Statistical Analysis, Rmarkdown, Statistical Methods, Machine Learning
- Status: Free
DeepLearning.AI
Skills you'll gain: PyTorch (Machine Learning Library), Dimensionality Reduction
- Status: Free Trial
Corporate Finance Institute
Skills you'll gain: Star Schema, Data Modeling, Extract, Transform, Load, Performance Tuning, Tableau Software, Database Design, Data Warehousing, Data Integration
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Large Language Modeling, Performance Tuning, PyTorch (Machine Learning Library), Applied Machine Learning
- Status: Free Trial
Coursera Instructor Network
Skills you'll gain: Generative AI, Applied Machine Learning, Large Language Modeling, Strategic Decision-Making, Machine Learning, Integration Testing, Systems Integration, Scalability, Innovation
Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Theoretical Computer Science
Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Mathematical Modeling, Programming Principles, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
In summary, here are 10 of our most popular quantitative model checking courses
- Quantitative Formal Modeling and Worst-Case Performance Analysis:Â EIT Digital
- Developing the SIR Model:Â Imperial College London
- Designing and Simulating Physical Models:Â MathWorks
- Software Security Testing:Â Packt
- Building on the SIR Model:Â Imperial College London
- Modeling Data in the Tidyverse:Â Johns Hopkins University
- Quantization in Depth:Â DeepLearning.AI
- Advanced Tableau - Data Model:Â Corporate Finance Institute
- Quantization Fundamentals with Hugging Face:Â DeepLearning.AI
- GenAI and Model Selection:Â Coursera Instructor Network