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: Free Trial
University of Colorado Boulder
Skills you'll gain: Real-Time Operating Systems, Reliability, Performance Tuning, Embedded Software, Embedded Systems, Control Systems, Debugging, Hardware Design, Systems Engineering, Performance Testing, System Programming, Software Systems, Electrical and Computer Engineering, Systems Architecture, Hardware Architecture, Failure Analysis, Engineering Tolerance, Linux
- Status: Free Trial
The Hong Kong University of Science and Technology
Skills you'll gain: Matlab, Engineering Analysis, Finite Element Methods, Mechanical Engineering, Numerical Analysis, Mathematical Modeling, Applied Mathematics, Advanced Mathematics, Simulation and Simulation Software, Differential Equations, Calculus, Scientific Visualization, Plot (Graphics)
Coursera Project Network
Skills you'll gain: Statistical Hypothesis Testing, Correlation Analysis, Six Sigma Methodology, R Programming, Statistical Analysis, Regression Analysis, Probability & Statistics, Data Literacy, Data Science, Descriptive Statistics
Skills you'll gain: IBM Cloud, Cryptography, Algorithms, Python Programming, Linear Algebra, Programming Principles, Computer Science, Theoretical Computer Science, Emerging Technologies, Test Case, Jupyter, Physics, Simulations, Software Installation, Debugging, Development Environment
The Chinese University of Hong Kong
Skills you'll gain: Debugging, Mathematical Modeling, Operations Research, Combinatorics, Algorithms, Geometry, Data Structures
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Correlation Analysis, Statistical Visualization, Data Visualization, Scientific Visualization, Process Capability, Statistical Analysis, Systems Analysis, Data Analysis, Run Chart, Box Plots, Systems Of Measurement, Statistical Methods, Regression Analysis, R Programming, Scatter Plots, Statistical Hypothesis Testing
- Status: Free Trial
Board Infinity
Skills you'll gain: Test Tools, Test Planning, Configuration Management, Test Automation, Software Testing, Test Case, Test Data, Risk Management, Performance Testing, Issue Tracking, Risk Management Framework, Version Control
- Status: Free Trial
Skills you'll gain: Python Programming, Algorithms, Computer Programming, Theoretical Computer Science, Linear Algebra, Mathematics and Mathematical Modeling, Computer Science, Algebra, Object Oriented Programming (OOP), IBM Cloud, Scripting, Probability, Artificial Intelligence and Machine Learning (AI/ML), Data Processing, Mathematical Modeling, Data Structures, Data Manipulation, Probability & Statistics, Applied Mathematics, Software Installation
- Status: Free Trial
Board Infinity
Skills you'll gain: Software Testing, Test Planning, Code Review, Software Technical Review, Software Quality Assurance, Test Case, Quality Assurance, Requirements Analysis
- Status: Free Trial
The Hong Kong University of Science and Technology
Skills you'll gain: Differential Equations, Linear Algebra, Matlab, Engineering Calculations, Engineering Analysis, Numerical Analysis, Finite Element Methods, Integral Calculus, Mathematical Software, Mechanical Engineering, Calculus, Algebra, Applied Mathematics, Mathematical Modeling, Engineering, Simulation and Simulation Software, Advanced Mathematics, Geometry, Computational Thinking, Estimation
- Status: Free Trial
Coursera Instructor Network
Skills you'll gain: Test Planning, Test Tools, Software Testing, Test Case, Software Quality Assurance, User Acceptance Testing (UAT), Quality Assurance, Agile Methodology, Risk Management Framework, Technical Communication
- Status: Free Trial
Skills you'll gain: Algorithms, Computer Hardware, IBM Cloud, Cryptography, Python Programming, Computer Programming, Telecommunications, Emerging Technologies, Theoretical Computer Science, Linear Algebra, Simulations
In summary, here are 10 of our most popular quantitative model checking courses
- Real-Time Mission-Critical Systems Design:Â University of Colorado Boulder
- Mathematics for Engineers: The Capstone Course:Â The Hong Kong University of Science and Technology
- RStudio for Six Sigma - Hypothesis Testing:Â Coursera Project Network
- Practical Quantum Computing with IBM Qiskit for Beginners:Â Packt
- Advanced Modeling for Discrete Optimization:Â The Chinese University of Hong Kong
- Measurement Systems Analysis:Â University of Colorado Boulder
- Mastering Test Management and Tools:Â Board Infinity
- The Complete Quantum Computing Course for Beginners:Â Packt
- Fundamentals of Static Testing:Â Board Infinity
- Mathematics for Engineers:Â The Hong Kong University of Science and Technology