Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
Status: Free
The Chinese University of Hong Kong
Skills you'll gain: Mathematical Modeling, Operations Research, Debugging, Computational Logic, Applied Mathematics, Algorithms, Geometry
University of Colorado System
Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Functional Requirement, Goal Setting, Unified Modeling Language, Meeting Facilitation, Conflict Management, Risk Analysis, User Story, Stakeholder Engagement, Negotiation
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, Software Engineering Tools, Software Technical Review, JUnit, Development Testing, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security, Vulnerability Scanning, Java Programming
Status: Free
Coursera Instructor Network
Skills you'll gain: Computer Programming, Applied Machine Learning, Analysis, MLOps (Machine Learning Operations), Tensorflow, PyTorch (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Natural Language Processing, Requirements Analysis
Skills you'll gain: Structural Engineering, Structural Analysis, Building Design, Architectural Engineering, Failure Analysis, Engineering Calculations, Engineering Design Process, Engineering Software, Technical Standard
Status: FreeSkills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Algorithms
Deep Teaching Solutions
Skills you'll gain: Deductive Reasoning, Logical Reasoning, Critical Thinking, Independent Thinking, Analytical Skills, Open Mindset, Systems Thinking, Problem Solving, Decision Making
Google Cloud
Skills you'll gain: Google Cloud Platform, Machine Learning Methods, Artificial Intelligence, Applied Machine Learning
University of Colorado System
Skills you'll gain: Extract, Transform, Load, Data Modeling, Clinical Data Management, Database Design, Data Warehousing, Data Quality, Data Transformation, Data Integration, Relational Databases, SQL
Skills you'll gain: Generative AI, OpenAI, ChatGPT, Applied Machine Learning, Predictive Modeling, Benchmarking, Artificial Intelligence, Natural Language Processing
Status: FreeSkills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
Johns Hopkins University
Skills you'll gain: PyTorch (Machine Learning Library), Deep Learning, Supervised Learning, Artificial Neural Networks, Decision Tree Learning, Machine Learning Algorithms, Machine Learning, Computer Vision
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- 离散优化建模高阶篇 Advanced Modeling for Discrete Optimization: The Chinese University of Hong Kong
- Requirements Specifications: Goals and Conflict Analysis: University of Colorado System
- Introduction to Automated Analysis: University of Minnesota
- Selecting the Right LLM with Hugging Face: Coursera Instructor Network
- Modelling, Analysis and Design of Steel Buildings: L&T EduTech
- Quantitative Formal Modeling and Worst-Case Performance Analysis: EIT Digital
- Think Critically: Deductive Reasoning and Mental Models: Deep Teaching Solutions
- Explore and Evaluate Models using Model Garden: Google Cloud
- Clinical Data Models and Data Quality Assessments: University of Colorado System
- H2O ai Large Language Models (LLMs) - Level 3: H2O.ai
