• 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
    C

    Coursera

    Leveraging AI for Enhanced Content Creation

    Skills you'll gain: Generative AI, Advertising, Advertising Campaigns, Content Creation, ChatGPT, Prompt Engineering, Responsible AI, Data Ethics, Artificial Intelligence, Creativity, Video Editing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    133 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    A

    Automatic Data Processing, Inc. (ADP)

    A Manager's Guide to Modern Hiring by AIRS®

    Skills you'll gain: Diversity Training, Workplace inclusivity, Talent Recruitment, Diversity Programs, New Hire Orientations, Process Improvement, Relationship Building, Human Resources, Brand Awareness, Talent Management, Consultative Approaches, Customer experience strategy (CX), Collaboration, Personalized Service, Teamwork, Leadership and Management, Time Management, Decision Making, Communication, Critical Thinking

    4.3
    Rating, 4.3 out of 5 stars
    ·
    49 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    É

    École Polytechnique Fédérale de Lausanne

    Functional Programming in Scala Capstone

    Skills you'll gain: Scala Programming, User Interface (UI), Data Processing, Heat Maps, Interactive Data Visualization, Real Time Data, Big Data, Visualization (Computer Graphics), Geospatial Information and Technology, Geospatial Mapping, Data Manipulation, Data Transformation, Apache Spark, Spatial Data Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    547 reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Harnessing LLMs: Strategy, Fine-Tuning & Evaluation

    Skills you'll gain: Hugging Face, Prompt Engineering, Retrieval-Augmented Generation, LLM Application, Model Evaluation, Responsible AI, LangChain, Large Language Modeling, Model Deployment, Generative AI, Generative Adversarial Networks (GANs), Application Deployment, Application Development, Technical Management, OpenAI API, Data Ethics, AI Enablement, Trend Analysis, Business Strategy, Python Programming

    4
    Rating, 4 out of 5 stars
    ·
    69 reviews

    Intermediate · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    I

    IESE Business School

    How to Build an Effective Service Company

    Skills you'll gain: Lean Methodologies, Workforce Management, Service Improvement, Operations Management, Operational Performance Management, Business Process Management, Process Optimization, Service Management, Operational Efficiency, Process Analysis, Sustainable Business, Capacity Management, Customer experience improvement, Case Studies

    4.4
    Rating, 4.4 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Managing Security & Enrollment with Intune

    Skills you'll gain: Microsoft Intune (Mobile Device Management Software), Endpoint Security, Microsoft Windows, Enterprise Security, Mobile Security, Operating System Administration, Security Management, Android (Operating System), Patch Management, Microsoft Azure, System Monitoring, Azure Active Directory, Vulnerability Management, Apple iOS, Remote Access Systems, Configuration Management, Automation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Toronto

    Inclusive Analytic Techniques

    Skills you'll gain: Data Ethics, Data Collection, Quantitative Research, Qualitative Research, Data Analysis, Statistical Analysis, Analytical Skills, Statistical Methods, Regression Analysis, Research, Focus Group, Correlation Analysis, Diversity and Inclusion, Surveys, Business Analytics, Stakeholder Analysis, Probability, Stakeholder Engagement

    4.8
    Rating, 4.8 out of 5 stars
    ·
    80 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Irvine

    Remote Leadership for Managers

    Skills you'll gain: Virtual Teams, Conflict Management, Telecommuting, Trustworthiness, Interpersonal Communications, Team Leadership, Collaboration, Collaborative Software, Leadership, Team Building, Productivity, Social Skills, Rapport Building, Communication, Leadership Development, Relationship Building, Team Performance Management, People Management, Meeting Facilitation, Constructive Feedback

    4.7
    Rating, 4.7 out of 5 stars
    ·
    39 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    E

    Emory University

    Introduction to Social Media Analytics

    Skills you'll gain: Social Media Marketing, Social Media, Marketing Analytics, Text Mining, Consumer Behaviour, Data Mining, Social Network Analysis, Customer Insights, Market Analysis, Unstructured Data, Trend Analysis, Research

    4.3
    Rating, 4.3 out of 5 stars
    ·
    111 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Palo Alto Networks

    Palo Alto Networks Cloud Security Fundamentals

    Skills you'll gain: Cloud Security, Cloud-Native Computing, Cloud Computing Architecture, Infrastructure Security, DevSecOps, Cloud Computing, Cloud Deployment, Application Security, Cloud Infrastructure, Network Security, Data Security, Docker (Software), Software As A Service, Hybrid Cloud Computing, Containerization, Data Centers, Vulnerability Scanning, Virtual Machines, DevOps, Vulnerability Assessments

    4.7
    Rating, 4.7 out of 5 stars
    ·
    146 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Compare Stock Returns with Google Sheets

    Skills you'll gain: Risk Analysis, Portfolio Risk, Google Sheets, Financial Analysis, Risk Management, Quantitative Research, Spreadsheet Software, Statistical Analysis, Statistics, Probability & Statistics

    4.3
    Rating, 4.3 out of 5 stars
    ·
    679 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Neuroscience Methods

    Skills you'll gain: Research Design, Science and Research, Laboratory Research, Research Methodologies, Statistical Analysis, Data Analysis, Data Collection, Neurology, Psychology, Physiology, Magnetic Resonance Imaging, Image Analysis, Medical Equipment and Technology, Human Learning, Medical Imaging

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 3 Months

1…826827828…834

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

  • Leveraging AI for Enhanced Content Creation : Coursera
  • A Manager's Guide to Modern Hiring by AIRS®: Automatic Data Processing, Inc. (ADP)
  • Functional Programming in Scala Capstone: École Polytechnique Fédérale de Lausanne
  • Harnessing LLMs: Strategy, Fine-Tuning & Evaluation: Coursera
  • How to Build an Effective Service Company: IESE Business School
  • Managing Security & Enrollment with Intune: Packt
  • Inclusive Analytic Techniques: University of Toronto
  • Remote Leadership for Managers: University of California, Irvine
  • Introduction to Social Media Analytics: Emory University
  • Palo Alto Networks Cloud Security Fundamentals: Palo Alto Networks

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