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

Results for "model checking"


  • Status: Free Trial
    Free Trial
    T

    Tecnológico de Monterrey

    Atención centrada en el paciente

    Skills you'll gain: Patient-centered Care, Healthcare Ethics, Patient Education and Support, Patient Communication, Patient Treatment, Care Management, Patient Advocacy, Preventative Care, Direct Patient Care, Care Coordination, Health Equity, Health Disparities, Professionalism, Nutrition and Diet, Health Promotion, Clinical Nutrition, Mental Health, Collaboration, Empathy, Social Determinants Of Health

    4.8
    Rating, 4.8 out of 5 stars
    Ā·
    27 reviews

    Beginner Ā· Course Ā· 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Predictive Modeling and Transforming Clinical Practice

    Skills you'll gain: Predictive Modeling, Clinical Data Management, Clinical Informatics, Clinical Research, Intensive Care Unit, Risk Modeling, Predictive Analytics, Clinical Practices, Decision Support Systems, Applied Machine Learning, Model Training, Health Informatics, Intensive Care Medicine, Model Evaluation, Qualitative Research, Data Analysis, Model Deployment, Data Collection

    Intermediate Ā· Course Ā· 1 - 3 Months

  • Status: Preview
    Preview
    W

    Whizlabs

    Exam Prep DP-600: Microsoft Fabric Analytics Engineer

    Skills you'll gain: Power BI, Microsoft Azure, Data Lakes, Data Analysis Expressions (DAX), Azure Synapse Analytics, Microsoft Power Platform, Data Modeling, Data Governance, Data Warehousing, Analytics, Extract, Transform, Load, Data Integration, Data Import/Export, Real Time Data, Dataflow, Data Transformation, Data Management, Data Architecture, Data Pipelines, SQL

    3.1
    Rating, 3.1 out of 5 stars
    Ā·
    17 reviews

    Intermediate Ā· Course Ā· 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Python Basics: Learn, Apply & Build Programs

    Skills you'll gain: Software Installation, Code Reusability, Functional Design, Programming Principles, Data Validation, Python Programming, Program Development, Scripting, Software Design, Computational Thinking, Development Environment, Computational Logic, Computer Programming, Algorithms, Command-Line Interface

    4.5
    Rating, 4.5 out of 5 stars
    Ā·
    36 reviews

    Mixed Ā· Course Ā· 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Data Preparation and Visualization with Power BI

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Dashboard, Pivot Tables And Charts, Dashboard Creation, Data Transformation, Data Visualization Software, Interactive Data Visualization, Data Modeling, Data Presentation, Microsoft Excel, Performance Reporting, Report Writing, Data Cleansing, Data Sharing

    Intermediate Ā· Course Ā· 3 - 6 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Cisco CCNP Security SCOR (Exam 350-701)

    Skills you'll gain: Endpoint Detection and Response, Network Administration, Cryptographic Protocols, IT Security Architecture, Cloud Security, Data Loss Prevention, Cloud Deployment, Cyber Attacks, Security Controls, Infrastructure Security, Computer Security, Encryption, Cloud Computing, Authorization (Computing), Network Planning And Design, Identity and Access Management, System Configuration, Data Security, Authentications, Malware Protection

    4.9
    Rating, 4.9 out of 5 stars
    Ā·
    10 reviews

    Intermediate Ā· Specialization Ā· 1 - 3 Months

  • G

    Google Cloud

    Ingesting DICOM Data with the Healthcare API

    Skills you'll gain: Data Import/Export, Health Informatics, Cloud API, Google Cloud Platform, Health Information Management, Data Store, Medical Records, Clinical Data Management, Cloud Management, Medical Imaging, Cloud Computing, Application Programming Interface (API), Data Modeling

    Beginner Ā· Project Ā· Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of London

    모두넼 ģœ„ķ•œ 머신 ėŸ¬ė‹

    Skills you'll gain: Applied Machine Learning, Model Evaluation, Model Training, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Machine Learning, Computer Vision, AI literacy, Image Analysis, Machine Learning Algorithms, Feature Engineering, Data Literacy

    4.7
    Rating, 4.7 out of 5 stars
    Ā·
    12 reviews

    Beginner Ā· Course Ā· 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Object-Oriented Analysis and Design: Foundations & Concepts

    Skills you'll gain: Object Oriented Design, Object Oriented Programming (OOP), Unified Modeling Language, JUnit, Software Testing, Software Engineering, Java, Java Programming, Computer Programming, Unit Testing, Software Design, Test Driven Development (TDD), Diagram Design

    Build toward a degree

    4.1
    Rating, 4.1 out of 5 stars
    Ā·
    13 reviews

    Intermediate Ā· Course Ā· 1 - 3 Months

  • C

    Coursera

    Create a Marketing Analysis dashboard using G-Spreadsheets

    Skills you'll gain: Dashboard, Digital Marketing Tools, Data Visualization, Data Entry, Google Sheets, Spreadsheet Software, Management Reporting, Business Reporting, Marketing Analytics, Market Analysis, Query Languages, Digital Marketing, Data Management, Data Validation

    4.6
    Rating, 4.6 out of 5 stars
    Ā·
    16 reviews

    Beginner Ā· Guided Project Ā· Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    G

    Google

    Google ė°ģ“ķ„° ģ• ė„ė¦¬ķ‹±ģŠ¤ ģˆ˜ė£Œģ¦ ģ“ģˆ˜ 과정

    Skills you'll gain: Data Storytelling, Data Cleansing, Rmarkdown, Data Presentation, Data Visualization, Analytical Skills, Tableau Software, Dashboard, Stakeholder Communications, Dashboard Creation, Data Literacy, Data Integrity, Case Studies, Interactive Data Visualization, Data Analysis, Spreadsheet Software, Data Ethics, Ggplot2, Data Validation, Database Management

    4.8
    Rating, 4.8 out of 5 stars
    Ā·
    46 reviews

    Beginner Ā· Professional Certificate Ā· 3 - 6 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Practical Neuromarketing Research

    Skills you'll gain: Institutional Review Board (IRB), Research, Research Design, Consumer Behaviour, Influencing, Persuasive Communication, Ethical Standards And Conduct, Marketing Psychology, Behavioral Economics, Experimentation, Neurology, Informed Consent, Market Research, Marketing, Analysis, Data Analysis

    4.5
    Rating, 4.5 out of 5 stars
    Ā·
    6 reviews

    Intermediate Ā· Course Ā· 1 - 3 Months

1…257258259…424

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

  • Atención centrada en el paciente:Ā Tecnológico de Monterrey
  • Predictive Modeling and Transforming Clinical Practice:Ā University of Colorado System
  • Exam Prep DP-600: Microsoft Fabric Analytics Engineer:Ā Whizlabs
  • Python Basics: Learn, Apply & Build Programs:Ā EDUCBA
  • Data Preparation and Visualization with Power BI:Ā Packt
  • Cisco CCNP Security SCOR (Exam 350-701):Ā Packt
  • Ingesting DICOM Data with the Healthcare API:Ā Google Cloud
  • 모두넼 ģœ„ķ•œ 머신 ėŸ¬ė‹:Ā University of London
  • Object-Oriented Analysis and Design: Foundations & Concepts:Ā University of Colorado Boulder
  • Create a Marketing Analysis dashboard using G-Spreadsheets:Ā Coursera

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