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, Model View Controller, Unified Modeling Language, Object Oriented Design, Service Oriented Architecture, API Design, Systems Architecture, Web Services, Software Design Patterns, Software Design, Simple Object Access Protocol (SOAP), Microservices, Restful API, Software Visualization, Code Review, Solution Architecture, Software Systems, Object Oriented Programming (OOP), Java, Software Development
Johns Hopkins University
Skills you'll gain: Triage, Crisis Intervention, Rapport Building, Emergency Response, Trauma Care, First Aid, Interpersonal Communications, Community Mental Health Services, Mental Health, Stress Management, Patient Referral, Health Assessment
Macquarie University
Skills you'll gain: Microsoft Excel, Dashboard, Excel Formulas, Spreadsheet Software, Data Visualization, Excel Macros, Data Validation, Data Analysis Expressions (DAX), Data Cleansing, Data Modeling, Business Intelligence, Predictive Modeling, Financial Modeling, Data Management, Microsoft 365, Consolidation, Data Integrity, Data Entry, Business Reporting, Productivity Software
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
Skills you'll gain: PyTorch (Machine Learning Library), Supervised Learning, Feature Engineering, Generative AI, Keras (Neural Network Library), Jupyter, Unsupervised Learning, Natural Language Processing, Reinforcement Learning, Deep Learning, Scikit Learn (Machine Learning Library), Machine Learning Algorithms, Data Manipulation, Tensorflow, Python Programming, Verification And Validation, Applied Machine Learning, ChatGPT, Artificial Neural Networks, Statistical Machine Learning
Universidad Nacional Autónoma de México
Skills you'll gain: Bayesian Network, Computational Logic, Artificial Intelligence, Markov Model, Theoretical Computer Science, Decision Support Systems, Deductive Reasoning, Verification And Validation, Mathematical Modeling, Python Programming, Algorithms, Probability Distribution
University of Minnesota
Skills you'll gain: Open Web Application Security Project (OWASP), Software Testing, Selenium (Software), Gherkin (Scripting Language), JUnit, Verification And Validation, Test Automation, Unit Testing, Security Testing, Regression Testing, Test Case, Software Development Tools, Testability, Behavior-Driven Development, Code Coverage, Performance Testing, Development Testing, Software Engineering Tools, Test Planning, Acceptance Testing
University of Michigan
Skills you'll gain: Hypertext Markup Language (HTML), Web Design, Web Content Accessibility Guidelines, Usability, Web Development, Semantic Web, Cloud Hosting, Web Servers, Data Validation
Skills you'll gain: Computer Networking, Network Troubleshooting, TCP/IP, Network Architecture, Routing Protocols, Network Protocols, OSI Models, Network Infrastructure, Dynamic Host Configuration Protocol (DHCP), Virtual Private Networks (VPN), Network Security, Wireless Networks
Skills you'll gain: MySQL, Database Design, Version Control, Database Management Systems, MySQL Workbench, Extract, Transform, Load, Stored Procedure, Data Modeling, Data Structures, SQL, Database Theory, Unix Commands, Relational Databases, Databases, Git (Version Control System), Object Oriented Programming (OOP), Database Management, Database Development, Unit Testing, Algorithms
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
- Status: Free
Johns Hopkins University
Skills you'll gain: Risk Modeling, Regression Analysis, Microsoft Excel, Business Analytics, Business Process Modeling, Business Risk Management, Business Modeling, Data Modeling, Resource Allocation, Statistical Analysis, Mathematical Modeling, Process Optimization, Financial Analysis, Spreadsheet Software, Predictive Analytics, Transportation Operations
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Software Design and Architecture:Â University of Alberta
- Psychological First Aid:Â Johns Hopkins University
- Excel Skills for Business:Â Macquarie University
- Business Statistics and Analysis:Â Rice University
- IBM AI Engineering:Â IBM
- Razonamiento artificial: Universidad Nacional Autónoma de México
- Software Testing and Automation:Â University of Minnesota
- Introduction to HTML5:Â University of Michigan
- The Bits and Bytes of Computer Networking:Â Google
- Meta Database Engineer:Â Meta