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 Alberta
Skills you'll gain: Software Architecture, Unified Modeling Language, Systems Architecture, Software Design, Software Visualization, Solution Architecture, Software Systems, Software Development, Software Documentation, Software Design Patterns, System Design and Implementation, Software Technical Review, Object Oriented Design, Maintainability, Scalability
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
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: Artificial Intelligence and Machine Learning (AI/ML), Classification And Regression Tree (CART), Machine Learning Algorithms, Machine Learning, Applied Machine Learning, Data Ethics, Decision Tree Learning, Tensorflow, Supervised Learning, Deep Learning, Random Forest Algorithm, Artificial Neural Networks, Algorithms, Regression Analysis, Performance Tuning
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
Skills you'll gain: ChatGPT, Generative AI, Database Design, Data Pipelines, Query Languages, Extract, Transform, Load, OpenAI, Data Warehousing, Data Ethics, Data Infrastructure, Data Mining, Data Modeling, Data Integration, Data Synthesis, Artificial Intelligence, IBM Cloud, Artificial Intelligence and Machine Learning (AI/ML), Software Development Tools, Image Analysis, Technical Communication
Skills you'll gain: Exploratory Data Analysis, Feature Engineering, Unsupervised Learning, Supervised Learning, Generative AI, Dimensionality Reduction, Reinforcement Learning, Artificial Intelligence and Machine Learning (AI/ML), Applied Machine Learning, Deep Learning, Data Analysis, Statistical Methods, Regression Analysis, Statistical Inference, Machine Learning, Statistical Analysis, Data Access, Machine Learning Algorithms, Classification And Regression Tree (CART), Scikit Learn (Machine Learning Library)
University of Alberta
Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning Algorithms, Deep Learning, Systems Development, Simulations, Solution Architecture, Markov Model, Supervised Learning, Artificial Neural Networks, Applied Machine Learning, Performance Testing, Algorithms, Statistical Methods, Pseudocode, Linear Algebra, Probability Distribution
Macquarie University
Skills you'll gain: Excel Formulas, Microsoft Excel, Excel Macros, Data Validation, Spreadsheet Software, Data Modeling, Workflow Management, Financial Modeling, Data Integrity, Automation, Data Security
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Crisis Intervention, First Aid, Emergency Response, Mental Health, Pediatrics, Stress Management, Behavioral Health, Disabilities, Active Listening, Interpersonal Communications
DeepLearning.AI
Skills you'll gain: Generative AI, Tensorflow, Computer Vision, Image Analysis, Deep Learning, Keras (Neural Network Library), Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, Distributed Computing, Unsupervised Learning, Network Model, Scalability, Visualization (Computer Graphics), Network Architecture, Performance Tuning, Machine Learning
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
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Software Architecture:Â University of Alberta
- Applied Data Science with Python:Â University of Michigan
- Introduction to Software Testing:Â University of Minnesota
- Advanced Learning Algorithms:Â DeepLearning.AI
- Foundations of Software Testing and Validation:Â University of Leeds
- Generative AI for Data Engineers:Â IBM
- IBM Machine Learning:Â IBM
- Reinforcement Learning:Â University of Alberta
- Excel Skills for Business: Intermediate II:Â Macquarie University
- Primeros Auxilios Psicológicos (PAP): Universitat Autònoma de Barcelona