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"
University of Minnesota
Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, Test Case, Test Automation, Development Testing, Test Planning, Code Coverage, Software Quality Assurance, Functional Testing, Testability, Integration Testing, Test Data, Issue Tracking
DeepLearning.AI
Skills you'll gain: iOS Development, Android Development, Tensorflow, Swift Programming, Mobile Development, Application Deployment, Applied Machine Learning, Deep Learning, Embedded Systems, Computer Vision, Machine Learning
Macquarie University
Skills you'll gain: Dashboard, Microsoft Excel, Excel Formulas, Spreadsheet Software, Data Analysis Expressions (DAX), Data Cleansing, Business Intelligence, Data Validation, Financial Modeling, Productivity Software, Financial Analysis, Automation, Data Management
Skills you'll gain: SQL, Jupyter, Data Mining, Data Modeling, Databases, Data Science, Stored Procedure, Relational Databases, R Programming, Database Design, Query Languages, Database Management, Big Data, Computer Programming Tools, GitHub, Data Visualization Software, Application Deployment, Data-Driven Decision-Making, Cloud Computing, Data Analysis
DeepLearning.AI
Skills you'll gain: Unsupervised Learning, Artificial Intelligence and Machine Learning (AI/ML), Data Ethics, Machine Learning, Machine Learning Algorithms, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms, Regression Analysis
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
Macquarie University
Skills you'll gain: Pivot Tables And Charts, Data Storytelling, Data Presentation, Power BI, Excel Formulas, Data Analysis Expressions (DAX), Data Visualization Software, Data Visualization, Interactive Data Visualization, Microsoft Excel, Spreadsheet Software, Dashboard, Data Modeling, Data Cleansing, Data Manipulation, Excel Macros, Infographics, Data Transformation, Data Validation, Data Warehousing
Stanford University
Skills you'll gain: Bayesian Network, Graph Theory, Probability Distribution, Statistical Modeling, Markov Model, Decision Support Systems, Probability & Statistics, Network Analysis, Applied Machine Learning, Natural Language Processing
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
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
DeepLearning.AI
Skills you'll gain: Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Regression Analysis, Performance Tuning
- Status: Free
Eindhoven University of Technology
Skills you'll gain: Business Process, Process Analysis, Process Improvement, Business Process Management, Data Mining, Business Process Modeling, Process Optimization, Operational Analysis, Performance Analysis, Data Analysis, Real Time Data, Data Science, Verification And Validation
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Introduction to Software Testing:Â University of Minnesota
- Device-based Models with TensorFlow Lite:Â DeepLearning.AI
- Excel Skills for Business: Advanced:Â Macquarie University
- Introduction to Data Science:Â IBM
- Unsupervised Learning, Recommenders, Reinforcement Learning:Â DeepLearning.AI
- Natural Language Processing with Probabilistic Models:Â DeepLearning.AI
- Excel Skills for Data Analytics and Visualization:Â Macquarie University
- Probabilistic Graphical Models 1: Representation:Â Stanford University
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- Excel Skills for Business: Intermediate II:Â Macquarie University