Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "model checking"
Cisco Learning and Certifications
Skills you'll gain: Software-Defined Networking, YAML, Network Architecture, Network Protocols, Computer Networking, Data Modeling, Network Administration, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API)
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Sample Size Determination, Box Plots, Analytical Skills, Statistical Inference
University of Pennsylvania
Skills you'll gain: Risk Modeling, Probability Distribution, Mathematical Modeling, Risk Management, Data Visualization, Predictive Modeling, Data Modeling, Probability, Strategic Decision-Making, Simulation and Simulation Software, Forecasting, Data-Driven Decision-Making, Statistics, Microsoft Excel
University of California San Diego
Skills you'll gain: Apache Spark, PySpark, Apache Hadoop, Data Integration, Exploratory Data Analysis, Big Data, Graph Theory, Data Pipelines, Data Modeling, Regression Analysis, Data Mining, Data Management, Applied Machine Learning, Data Infrastructure, Data Presentation, Scalability, Data Processing, Statistical Analysis, Databases, Data Architecture
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Documentation, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle, Technical Documentation
University of Michigan
Skills you'll gain: Matplotlib, Network Analysis, Feature Engineering, Plot (Graphics), Data Visualization Software, Interactive Data Visualization, Pandas (Python Package), Applied Machine Learning, Supervised Learning, Text Mining, Scikit Learn (Machine Learning Library), Network Model, Jupyter, NumPy, Graph Theory, Data Manipulation, Natural Language Processing, Data Analysis, Data Processing, Unstructured Data
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Markov Model, Text Mining, Artificial Intelligence, Artificial Neural Networks, Data Processing, Deep Learning, Algorithms, Computer Programming, Unstructured Data, Machine Learning, Probability & Statistics
Stanford University
Skills you'll gain: Bayesian Network, Statistical Inference, Markov Model, Statistical Machine Learning, Graph Theory, Sampling (Statistics), Applied Machine Learning, Probability & Statistics, Algorithms, Probability Distribution, Machine Learning Algorithms
University of California, Davis
Skills you'll gain: Data Governance, SQL, Data Quality, Query Languages, Data Manipulation, Data Modeling, Relational Databases, Data Science, Data Analysis, Database Management Systems, Descriptive Statistics
Skills you'll gain: Dashboard, Data Visualization Software, Plotly, Data Wrangling, Data Visualization, Exploratory Data Analysis, Data Cleansing, Jupyter, Matplotlib, Data Analysis, Pandas (Python Package), Data Manipulation, Seaborn, Data Transformation, Data Import/Export, Predictive Modeling, Web Scraping, Interactive Data Visualization, Automation, Python Programming
Macquarie University
Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Modeling, Predictive Modeling, Financial Modeling, Data Integrity, Automation
The Hong Kong University of Science and Technology
Skills you'll gain: Acceptance Testing, Software Development Methodologies, Configuration Management, Debugging, Software Development Life Cycle, Software Testing, Software Engineering, Unified Modeling Language, System Testing, Verification And Validation, Unit Testing, System Design and Implementation, Agile Software Development, Secure Coding, Test Case, Requirements Analysis, Waterfall Methodology
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Introducing Model-Driven Programmability:Â Cisco Learning and Certifications
- Business Statistics and Analysis:Â Rice University
- Modeling Risk and Realities:Â University of Pennsylvania
- Big Data:Â University of California San Diego
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- Applied Data Science with Python:Â University of Michigan
- Natural Language Processing with Probabilistic Models:Â DeepLearning.AI
- Probabilistic Graphical Models 2: Inference:Â Stanford University
- SQL for Data Science:Â University of California, Davis
- Applied Data Science:Â IBM