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 Colorado System
Skills you'll gain: Matlab, Estimation, Engineering Calculations, Numerical Analysis, Performance Tuning, Mathematical Modeling, Simulation and Simulation Software, Differential Equations, Engineering Analysis, System Implementation, Probability Distribution
Skills you'll gain: Cucumber (Software), Behavior-Driven Development, Gherkin (Scripting Language), Selenium (Software), Test Automation, JUnit, Apache Maven, Test Data, Test Case, Java Programming
Skills you'll gain: Incident Response, Cybersecurity, Human Factors (Security), Security Awareness, Continuous Monitoring, Cyber Security Strategy, Cyber Governance, Crisis Management, Computer Security Awareness Training, Culture Transformation, Threat Management, Threat Detection, Organizational Change, Communication Planning, Employee Engagement
Illinois Tech
Skills you'll gain: Database Management Systems, Database Design, Database Architecture and Administration, Databases, Database Application, Relational Databases, SQL, Data Modeling, Query Languages, Data Manipulation, Data Security
Skills you'll gain: Scripting Languages, Scripting, Debugging, Data Structures, 3D Modeling, Computer Graphic Techniques, Computer Graphics, Virtual Environment, Visualization (Computer Graphics), Storyboarding, Integrated Development Environments, Event-Driven Programming, Augmented and Virtual Reality (AR/VR), Object Oriented Programming (OOP), Performance Tuning, Computer Programming, Real Time Data
DeepLearning.AI
Skills you'll gain: Statistical Analysis, Data Analysis, Statistics, Sampling (Statistics), Descriptive Statistics, Statistical Visualization, Histogram, Box Plots, Probability Distribution, Statistical Inference, Probability, Statistical Methods, Statistical Hypothesis Testing, Simulations, Correlation Analysis, Real Time Data
Skills you'll gain: Time Management, Goal Setting, Stress Management, Resilience, Prioritization, Organizational Skills, Personal Development, Health And Safety Standards, Mental Health, Professional Development, Self-Awareness, Communication
Skills you'll gain: Selenium (Software), Test Automation, Test Tools, Test Data, Test Case, Unit Testing, Software Testing, Test Execution Engine, Regression Testing, Integration Testing, Java, Automation
Skills you'll gain: ASP.NET, Restful API, Application Programming Interface (API), Object-Relational Mapping, API Design, Web Applications, Web Development Tools, Back-End Web Development, C# (Programming Language), Databases, Data Modeling, Data Mapping
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Natural Language Processing, Deep Learning, MLOps (Machine Learning Operations), Application Deployment, Tensorflow, Artificial Intelligence, System Monitoring, Data Cleansing, Machine Learning, Data Processing, Reinforcement Learning
University of Illinois Urbana-Champaign
Skills you'll gain: Wealth Management, Financial Services, Compliance Training, FinTech, Financial Regulation, Artificial Intelligence, Financial Planning, Investment Management, Artificial Intelligence and Machine Learning (AI/ML), Business Ethics, Automation, Emerging Technologies, Customer Relationship Management
Skills you'll gain: Swift Programming, Apple iOS, Apple Xcode, Mobile Development, Application Development, User Interface (UI), Model View Controller, User Interface (UI) Design, Figma (Design Software), API Design, Software Design Patterns
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Nonlinear Kalman Filters (and Parameter Estimation):Â University of Colorado System
- Cucumber BDD Made Easy + Automation Framework Design:Â Packt
- The Cybersecurity Culture Blueprint: A Proactive Approach:Â LearnQuest
- Data Modeling and Applications:Â Illinois Tech
- Unreal Engine 5 - The Intermediate Course:Â Packt
- Applied Statistics for Data Analytics:Â DeepLearning.AI
- Managing Time and Stress:Â Packt
- Advanced Automation Frameworks and Testing with TestNG:Â Packt
- Hands-On .NET Minimal API for Web Developers:Â Packt
- NVIDIA: Large Language Models and Generative AI Deployment:Â Whizlabs