• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Quantitative Model Checking


Results for "quantitative model checking"


  • G

    Google Cloud

    AI 인프라: AI 하이퍼컴퓨터 소개

    Skills you'll gain: Google Cloud Platform, Cloud Deployment, Model Deployment, Cloud Computing, AI Enablement, Computer Architecture, Hardware Architecture, Performance Tuning, Artificial Intelligence, Systems Architecture

    Intermediate · Course · 1 - 4 Weeks

  • M

    Microsoft

    Extract, Transform and Load Data in Power BI

    Skills you'll gain: Extract, Transform, Load, Power BI, Data Integrity, Data Validation, Data Transformation, Data Cleansing, Data Storage, Data Quality, Data Analysis, Data Manipulation, Data Integration, Data Storage Technologies, Data Import/Export

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1K reviews

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply ETL Testing Techniques for Retail Data Pipelines

    Skills you'll gain: Data Validation, Extract, Transform, Load, Data Migration, Data Warehousing, Test Case, Consolidation, Data Integrity, Regression Testing, Data Integration, Data Transformation, Data Pipelines, Data Mapping, SQL, Analytics, Business Requirements

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Clean & Maintain Lists

    Skills you'll gain: Email Marketing, Data Cleansing, Performance Analysis, Performance Measurement, Key Performance Indicators (KPIs), Marketing Effectiveness, Data Quality, Data Maintenance, Data Validation, Process Improvement and Optimization

    Beginner · Course · 1 - 4 Weeks

  • S

    Starweaver

    Securing Cloud Operations

    Skills you'll gain: Cloud Security, Cloud Services, Cloud Technologies, Cloud Computing Architecture, Cloud Computing, Cloud Infrastructure, Incident Response, Hardening, Public Cloud, Infrastructure As A Service (IaaS), ISO/IEC 27001, Virtual Machines, Identity and Access Management, Security Controls, Amazon Web Services, NIST 800-53, Network Security, Cloud Applications, Role-Based Access Control (RBAC), Platform As A Service (PaaS)

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Design & Assemble Mechanical Systems in SolidWorks

    Skills you'll gain: SolidWorks (CAD), Assembly Drawing, Computer-Aided Design, 3D Modeling, Engineering Design Process, Mechanical Design, Drafting and Engineering Design, Design Specifications, Functional Design, Mechanical Engineering, Integration Testing, Simulation and Simulation Software, Engineering Drawings, Visualization (Computer Graphics), Technical Design, Equipment Design, Industrial Design, Geometric Dimensioning And Tolerancing, Torque (Physics), Structural Engineering

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    AI-Powered Jira Automation and Workflow Optimization

    Skills you'll gain: Jira (Software), Responsible AI, Prompt Engineering, Prompt Patterns, Data Ethics, AI Workflows, Model Evaluation, AI Enablement, Generative AI, Workflow Management, Performance Tuning, Automation, Process Optimization, Performance Metric, Debugging, No-Code Development, Technical Documentation, Performance Analysis, Technical Writing, Risk Control

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Analyze Investment Banking Concepts and Valuation Strategies

    Skills you'll gain: Investment Banking, Mergers & Acquisitions, Private Equity, Business Valuation, Financial Analysis, Risk Analysis, Financial Modeling, Capital Markets, Underwriting, Equities, Securities Trading, Financial Forecasting, Corporate Finance, Organizational Structure, Derivatives

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Apply ExpressJS for Full-Stack Web Application Development

    Skills you'll gain: MongoDB, Full-Stack Web Development, Node.JS, Web Development, Web Applications, Front-End Web Development, JavaScript Frameworks, Server Side, Back-End Web Development, Data Store, Network Routing, Database Development, Hypertext Markup Language (HTML), Development Environment, Middleware, User Interface (UI) Design

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Cloud Run で AI モデルをデプロイしてスケールする

    Skills you'll gain: Google Cloud Platform, Model Deployment, Serverless Computing, Cloud Deployment, Generative AI, Application Deployment, Containerization, Performance Tuning

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Fundamentals of Machine Learning

    Beginner · Course · 1 - 4 Weeks

  • P

    PwC

    Problem Solving with Excel

    Skills you'll gain: Excel Formulas, Microsoft Excel, Data Cleansing, Spreadsheet Software, Data Validation, Data Analysis Software, Data Analysis, Statistical Analysis, Financial Analysis, Data Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    5.5K reviews

    Beginner · Course · 1 - 4 Weeks

1…484950…393

In summary, here are 10 of our most popular quantitative model checking courses

  • AI 인프라: AI 하이퍼컴퓨터 소개: Google Cloud
  • Extract, Transform and Load Data in Power BI: Microsoft
  • Apply ETL Testing Techniques for Retail Data Pipelines: EDUCBA
  • Clean & Maintain Lists: Coursera
  • Securing Cloud Operations: Starweaver
  • Design & Assemble Mechanical Systems in SolidWorks: EDUCBA
  • AI-Powered Jira Automation and Workflow Optimization: Coursera
  • Analyze Investment Banking Concepts and Valuation Strategies: EDUCBA
  • Apply ExpressJS for Full-Stack Web Application Development: EDUCBA
  • Cloud Run で AI モデルをデプロイしてスケールする: Google Cloud

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok