Filter by
The language used throughout the course, in both instruction and assessments.
Results for "infinite-state+stochastic+model+checking+methods"
University of Minnesota
Skills you'll gain: Probability Distribution, Probability, Simulation and Simulation Software, Statistics, Microsoft Excel, Complex Problem Solving, Business Process Modeling, Business Modeling, Risk Modeling, Financial Modeling, Statistical Analysis, Decision Making, Data Analysis
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives
University of Colorado Boulder
Skills you'll gain: Mathematical Modeling, Systems Design, Systems Architecture, Software Systems, Mechanical Engineering, Computer Systems, Systems Analysis, Systems Engineering, Embedded Systems, Differential Equations, Electrical Engineering
- Status: Free
Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Data Modeling
University of California, Santa Cruz
Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, R Programming, Bayesian Statistics, Advanced Analytics, Statistical Modeling, Statistical Analysis, Statistical Methods, Statistical Inference, Regression Analysis, Data Analysis, Probability Distribution
University of Colorado Boulder
Skills you'll gain: Estimation, Numerical Analysis, Engineering Calculations, Applied Mathematics, Mathematical Modeling, Engineering Analysis, Advanced Mathematics, Differential Equations, Physics
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
- Status: Free
Skills you'll gain: Systems Analysis, Verification And Validation, Computational Logic, Data Modeling, Programming Principles, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
- Status: Free
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Algorithms
Skills you'll gain: Time Series Analysis and Forecasting, Forecasting, SAS (Software), Advanced Analytics, Predictive Modeling, Statistical Analysis, Regression Analysis, Predictive Analytics, Bayesian Statistics, Statistical Modeling, Machine Learning, Artificial Neural Networks
Illinois Tech
Skills you'll gain: Regression Analysis, Data Validation, Exploratory Data Analysis, Statistical Modeling, Data Transformation, Statistical Methods, Plot (Graphics), Scatter Plots, Statistical Analysis, Data Analysis, Correlation Analysis, Time Series Analysis and Forecasting, Linear Algebra, Statistical Hypothesis Testing
Johns Hopkins University
Skills you'll gain: Probability, Bayesian Statistics, Probability Distribution, Failure Analysis, Estimation, Mathematical Modeling, Statistical Inference, Markov Model, Reliability, Simulations, Statistical Analysis, Regression Analysis
In summary, here are 10 of our most popular infinite-state+stochastic+model+checking+methods courses
- Simulation Models for Decision Making: University of Minnesota
- Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
- Modeling of Autonomous Systems: University of Colorado Boulder
- System Validation (3): Requirements by modal formulas: EIT Digital
- Bayesian Statistics: Time Series Analysis: University of California, Santa Cruz
- Approximation Methods: University of Colorado Boulder
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- System Validation (4): Modelling Software, Protocols, and other behaviour: EIT Digital
- Quantitative Formal Modeling and Worst-Case Performance Analysis: EIT Digital
- Modeling Time Series and Sequential Data: SAS