• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • Infinite State Stochastic Model Checking Methods

Results for "infinite-state stochastic model checking methods"


  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Introduction to CSS3

    Skills you'll gain: Cascading Style Sheets (CSS), HTML and CSS, Responsive Web Design, Bootstrap (Front-End Framework), Web Design, Front-End Web Development, Javascript

    4.5
    Rating, 4.5 out of 5 stars
    ·
    99 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Analyse numérique pour ingénieurs

    Skills you'll gain: Numerical Analysis, Engineering Analysis, Differential Equations, Matlab, Calculus, Mathematical Modeling, Linear Algebra, Applied Mathematics, Integral Calculus, Algorithms, Derivatives

    4.5
    Rating, 4.5 out of 5 stars
    ·
    109 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Technical University of Denmark (DTU)

    Introduction to Industrial Bioprocess Development

    Skills you'll gain: Biotechnology, Process Engineering, Chemical and Biomedical Engineering, Chemical Engineering, Sterilization, Biological Engineering, Microbiology, Process Control, Cell Cultures, Production Process, Biochemistry, Scalability, Manufacturing Processes, Process Development, Molecular Biology, Cell Biology, Sterile Procedure

    4.7
    Rating, 4.7 out of 5 stars
    ·
    328 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    Universitat de Barcelona

    Técnicas Microscópicas de Caracterización

    Skills you'll gain: Specimen Preparation, Laboratory Techniques, Materials science, Laboratory Equipment, Cell Biology, Micrometer, Engineering, Scientific, and Technical Instruments, Biomedical Technology, Microbiology, Analytical Chemistry, Molecular, Cellular, and Microbiology, Image Analysis, Electrical Engineering, Structural Analysis, Manufacturing Processes, Mechanical Engineering

    4.7
    Rating, 4.7 out of 5 stars
    ·
    812 reviews

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Sentiment Analysis with Deep Learning using BERT

    Skills you'll gain: Model Evaluation, Data Preprocessing, PyTorch (Machine Learning Library), Transfer Learning, Model Deployment, Performance Tuning, Deep Learning, Natural Language Processing, Machine Learning

    4.4
    Rating, 4.4 out of 5 stars
    ·
    398 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Drug Development and Pharmacoepidemiology

    Skills you'll gain: Medication Therapy Management, Drug Development, Clinical Trials, Pharmaceuticals, Pharmacotherapy, Pharmacology, Medical Prescription, Patient Education And Counseling, Clinical Research, Pre-Clinical Development, Drug Interaction, Patient Safety, Medical Devices, Statistical Analysis, Value-Based Care, Epidemiology, Utilization Management, Program Evaluation, Public Health, Data Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    109 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    Energy: The Enterprise

    Skills you'll gain: Energy and Utilities, Workforce Development, Sustainable Development, Sustainable Technologies, Electric Power Systems, Environment and Resource Management, Environmental Science, Innovation, Emerging Technologies, Market Dynamics, Climate Change Mitigation, Operational Efficiency

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.1K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    PwC India

    GST - Genesis and imposition!

    Skills you'll gain: Sales Tax, Tax, Tax Compliance, Tax Laws, Invoicing, Regulatory Compliance, Registration, Problem Solving

    4.5
    Rating, 4.5 out of 5 stars
    ·
    81 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    I

    Imperial College London

    Science Matters: Let's Talk About COVID-19

    Skills you'll gain: Epidemiology, Public Health, Infectious Diseases, Community Health, Economics, Policy, and Social Studies, Health Systems, Socioeconomics, Health Policy, Emergency Response, Patient Evaluation, Immunology, Diagnostic Tests, Microbiology, Media and Communications, Molecular Biology, Pathology

    4.2
    Rating, 4.2 out of 5 stars
    ·
    223 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    AWS Cloud Practitioner Exam Prep

    Skills you'll gain: Cloud Computing, Database Management, Resource Management, Cost Management, Business Software

    4.4
    Rating, 4.4 out of 5 stars
    ·
    131 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    L

    LearnKartS

    Ethical Hacking

    Skills you'll gain: Penetration Testing, Cybersecurity, Security Testing, Cyber Security Assessment, Network Security, Threat Detection, Cyber Attacks, Cyber Security Strategy, Cyber Threat Intelligence, Cyber Threat Hunting, Exploit development, Information Systems Security, Firewall, Malware Protection, Cloud Computing, Cryptography, Security Awareness, Security Controls, Cyber Risk, Security Strategy

    4.6
    Rating, 4.6 out of 5 stars
    ·
    290 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Illinois Urbana-Champaign

    Cloud Computing Applications, Part 2: Big Data and Applications in the Cloud

    Skills you'll gain: Big Data, Apache Spark, Apache Hadoop, Apache Mahout, Distributed Computing, Data Storage, Data Processing, NoSQL, Apache Kafka, Cloud Computing, Real Time Data, Databases, Analytics, Deep Learning, Scalability, Machine Learning Algorithms, Graph Theory, Machine Learning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    342 reviews

    Mixed · Course · 1 - 3 Months

1…178179180…569

In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses

  • Introduction to CSS3: Johns Hopkins University
  • Analyse numérique pour ingénieurs: École Polytechnique Fédérale de Lausanne
  • Introduction to Industrial Bioprocess Development: Technical University of Denmark (DTU)
  • Técnicas Microscópicas de Caracterización : Universitat de Barcelona
  • Sentiment Analysis with Deep Learning using BERT: Coursera
  • Drug Development and Pharmacoepidemiology: Johns Hopkins University
  • Energy: The Enterprise: University at Buffalo
  • GST - Genesis and imposition!: PwC India
  • Science Matters: Let's Talk About COVID-19: Imperial College London
  • AWS Cloud Practitioner Exam Prep: LearnKartS

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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