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

    Fundação Instituto de Administração

    System Dynamics

    Skills you'll gain: Systems Thinking, Simulations, Simulation and Simulation Software, Process Flow Diagrams, Systems Analysis, Complex Problem Solving, Diagram Design, Growth Strategies, Market Dynamics, Business Modeling, Decision Making

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9 reviews

    Advanced · Course · 1 - 3 Months

  • 2

    28DIGITAL

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Systems Design, Theoretical Computer Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    T

    The Hong Kong University of Science and Technology

    Software Engineering: Modeling Software Systems using UML

    Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Diagram Design, Software Development, Software Engineering, Software Systems, Model Evaluation, Project Planning, Project Management

    4.6
    Rating, 4.6 out of 5 stars
    ·
    357 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Minnesota

    Introduction to Software Testing

    Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, System Testing, Test Case, Test Automation, Development Testing, Test Planning, White-Box Testing, Code Coverage, Software Quality Assurance, Functional Testing, Test Data

    4.3
    Rating, 4.3 out of 5 stars
    ·
    818 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Real-Time Embedded Systems Theory and Analysis

    Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Embedded Software, Software Design, Linux, System Design and Implementation, OS Process Management, C (Programming Language), Verification And Validation, Mathematical Modeling, Algorithms, Applied Mathematics

    4.2
    Rating, 4.2 out of 5 stars
    ·
    18 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Practical Software Testing

    Skills you'll gain: White-Box Testing, Test Planning, Test Case, Software Testing, Debugging, Functional Testing, Software Documentation, Software Quality Assurance, Development Testing, Test Data, Issue Tracking, Software Technical Review, Quality Assurance, Development Environment, Technical Communication

    4.3
    Rating, 4.3 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    Universidad Nacional Autónoma de México

    Razonamiento artificial

    Skills you'll gain: Bayesian Network, Computational Logic, Markov Model, Artificial Intelligence, Game Theory, Theoretical Computer Science, Logical Reasoning, Python Programming, Deductive Reasoning, Reinforcement Learning, Probability, Verification And Validation, Decision Tree Learning, Algorithms, Probability Distribution

    4.1
    Rating, 4.1 out of 5 stars
    ·
    113 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    UNSW Sydney (The University of New South Wales)

    Introduction to Systems Engineering

    Skills you'll gain: Systems Engineering, Conceptual Design, Systems Design, Requirements Analysis, Systems Development Life Cycle, Requirements Elicitation, Systems Architecture, Systems Integration, Engineering Design Process, System Design and Implementation, Concept Of Operations, Configuration Management, Prototyping, System Requirements, Design Reviews, Verification And Validation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    830 reviews

    Mixed · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Automation and Modern Testing Tools

    Skills you'll gain: Test Automation, Performance Testing, Software Testing, API Testing, Test Script Development, Security Testing, Test Tools, CI/CD, Regression Testing, JUnit, Selenium (Software), Scalability, Automation, Test Case, Application Programming Interface (API), Application Security

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University at Buffalo

    MBSE: Model-Based Systems Engineering

    Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Industrial Engineering, Manufacturing Processes, Internet Of Things, Product Lifecycle Management, Enterprise Architecture, Verification And Validation, Simulation and Simulation Software, Process Analysis

    4.4
    Rating, 4.4 out of 5 stars
    ·
    894 reviews

    Beginner · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Model Evaluation, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of California, Santa Cruz

    Cyber-Physical Systems: Modeling and Simulation

    Skills you'll gain: Systems Design, Model Based Systems Engineering, Cyber Engineering, Mathematical Modeling, Simulations, Control Systems, Embedded Systems, Systems Analysis, Computational Logic, Digital Communications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    53 reviews

    Intermediate · Course · 1 - 4 Weeks

1…567…834

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

  • System Dynamics: Fundação Instituto de Administração
  • System Validation (3): Requirements by modal formulas: 28DIGITAL
  • Software Engineering: Modeling Software Systems using UML: The Hong Kong University of Science and Technology
  • Introduction to Software Testing: University of Minnesota
  • Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
  • Practical Software Testing: Board Infinity
  • Razonamiento artificial: Universidad Nacional Autónoma de México
  • Introduction to Systems Engineering: UNSW Sydney (The University of New South Wales)
  • Automation and Modern Testing Tools: Board Infinity
  • MBSE: Model-Based Systems Engineering : University at Buffalo

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok