• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • System Validation Automata And Behavioural Equivalences

Results for "system validation: automata and behavioural equivalences"


  • Status: Free Trial
    Free Trial
    R

    Rice University

    Anatomy & Physiology: Exchange and Energy

    Skills you'll gain: Pulmonology, Respiration, Anatomy, Patient Evaluation, Physiology, Pathology, Clinical Nutrition

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Customer Value, Acquisition, and Retention

    Skills you'll gain: Customer Retention, Loyalty Programs, Customer Relationship Management, Customer Insights, Marketing Analytics, Customer Acquisition Management, Customer Engagement, Marketing Strategies, Return On Investment, Growth Strategies, Predictive Modeling

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Balance Sheet and Business Cases

    Skills you'll gain: Financial Statement Analysis, Financial Statements, Balance Sheet, Financial Acumen, Income Statement, Financial Analysis, Profit and Loss (P&L) Management, Business Modeling, Operational Analysis, Operational Efficiency

    4.9
    Rating, 4.9 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Understanding and Visualizing Data with Python

    Skills you'll gain: Sampling (Statistics), Data Visualization, Statistics, Matplotlib, Statistical Visualization, Probability & Statistics, Jupyter, Statistical Methods, Data Visualization Software, Data Analysis, Statistical Analysis, Exploratory Data Analysis, Descriptive Statistics, Statistical Inference, NumPy, Box Plots, Histogram, Python Programming

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

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    N

    Niel Asher Education

    Somatic Therapy and Body-Based Healing

    Skills you'll gain: Manual Therapy, Mindfulness, Self-Awareness, Empathy & Emotional Intelligence, Physical Therapy, Cognitive Behavioral Therapy, Rehabilitation, Psychotherapy, Patient Communication, Mental Health Therapies, Athletic Training, Stress Management, Coaching, Communication, Intravenous Therapy

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    I

    IBM

    Building AI Agents and Agentic Workflows

    Skills you'll gain: AI Orchestration, AI Workflows, LangChain, Agentic Workflows, Tool Calling, LangGraph, LLM Application, Agentic systems, Generative AI Agents, Responsible AI, Retrieval-Augmented Generation, Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Application Design, Prompt Engineering, Large Language Modeling, Context Management, Software Design Patterns, Software Development, Vector Databases

    4.7
    Rating, 4.7 out of 5 stars
    ·
    179 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Managing, Describing, and Analyzing Data

    Skills you'll gain: Sampling (Statistics), R (Software), Statistical Inference, Probability Distribution, R Programming, Statistical Hypothesis Testing, Descriptive Statistics, Statistical Methods, Data Science, Statistics, Data Analysis, Statistical Analysis, Probability, Data Manipulation, Histogram

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    34 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Linux Networking and Security

    Skills you'll gain: Linux Administration, Docker (Software), Containerization, Linux, Network Troubleshooting, Linux Servers, Ansible, Kubernetes, Authentications, Infrastructure as Code (IaC), Network Administration, System Configuration, Remote Access Systems, Multi-Factor Authentication, Network Protocols, Network Security, Security Controls, Firewall, Web Servers, Encryption

    4.8
    Rating, 4.8 out of 5 stars
    ·
    10 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    SkillUp

    Networking and Migration in Azure

    Skills you'll gain: Load Balancing, Microsoft Azure, Virtual Networking, Network Architecture, Cloud Computing Architecture, General Networking, Firewall, Network Security, Cloud Management, IT Automation, Data Migration, Cloud Security, Virtualization and Virtual Machines, Performance Tuning, Scalability, Disaster Recovery

    5
    Rating, 5 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Foundations of Data Structures and Algorithms

    Skills you'll gain: Theoretical Computer Science, Algorithms, Graph Theory, Data Structures, Operations Research, Public Key Cryptography Standards (PKCS), Cryptography, Programming Principles, Computational Thinking, Pseudocode, Design Strategies, Data Encryption Standard, Computer Science, Tree Maps, Encryption, Linear Algebra, Combinatorics, Mathematical Modeling, Advanced Mathematics, Python Programming

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    911 reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Maryland, College Park

    Interviewing and Resume Writing in English

    Skills you'll gain: Interviewing Skills, Negotiation, Telephone Skills, Presentations, Marketing Planning, Oral Expression, Concision, Public Speaking, Professional Development, Applicant Tracking Systems, English Language, Verbal Communication Skills, Persuasive Communication, Strategic Marketing, Business Writing, Cultural Responsiveness, Recruitment, Adaptability, Communication, Writing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    763 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    N

    Northwestern University

    Scaling Operations: Linking Strategy and Execution

    Skills you'll gain: Data-Driven Decision-Making, Strategic Sourcing, Operational Analysis, Operations Management, Business Operations, Capacity Planning, Supply Chain, Competitive Analysis, Strategic Decision-Making, Business Strategy, Supplier Relationship Management, Case Studies, Return On Investment, Planning, Financial Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    262 reviews

    Mixed · Course · 1 - 3 Months

1…136137138…834

In summary, here are 10 of our most popular system validation: automata and behavioural equivalences courses

  • Anatomy & Physiology: Exchange and Energy: Rice University
  • Customer Value, Acquisition, and Retention: University of Maryland, College Park
  • Balance Sheet and Business Cases: Duke University
  • Understanding and Visualizing Data with Python: University of Michigan
  • Somatic Therapy and Body-Based Healing: Niel Asher Education
  • Building AI Agents and Agentic Workflows: IBM
  • Managing, Describing, and Analyzing Data: University of Colorado Boulder
  • Advanced Linux Networking and Security: Packt
  • Networking and Migration in Azure: SkillUp
  • Foundations of Data Structures and Algorithms: University of Colorado Boulder

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