Results for "system validation: automata and behavioural equivalences"
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, System Software, Systems Design, Software Architecture, Embedded Systems
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
Status: PreviewSkills you'll gain: Model Based Systems Engineering, Unified Modeling Language, Systems Engineering, Software Systems, Systems Design, Systems Architecture, Systems Analysis, Product Lifecycle Management, System Requirements, Requirements Analysis, Verification And Validation, Cloud Computing
Status: NewStatus: PreviewCoursera
Skills you'll gain: Safety Culture, Behavior Management, Accident Prevention, Occupational Safety and Health Administration (OSHA), Safety Training, Safety Assurance, Applied Behavior Analysis, Proactivity, Coaching, Constructive Feedback, Recognizing Others, Initiative and Leadership, Case Studies
Status: NewSkills you'll gain: Statistical Visualization, Model Evaluation, Data Presentation, Statistical Hypothesis Testing, Statistical Analysis, Data Storytelling, Large Language Modeling, Statistical Methods, Data-Driven Decision-Making, Matplotlib, Statistical Inference, Jupyter, Probability & Statistics, Experimentation, Performance Metric
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computer Programming, Pseudocode, Algorithms, Computer Science, Formal Learning, Software Engineering, Program Development, Data Science, Analysis, Debugging, Technical Analysis
What brings you to Coursera today?
Status: NewStatus: Free TrialBoard Infinity
Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, Debugging, Software Development Methodologies, User Acceptance Testing (UAT), JUnit, Maintainability, Development Testing, Selenium (Software), Scalability, Automation, Software Technical Review, DevOps, Regression Testing, Test Execution Engine, Security Testing
Status: NewUniversity of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Thinking, Systems Design, System Design and Implementation, Systems Analysis, Model Evaluation, Software Design, Computer Architecture, Program Development, Software Quality (SQA/SQC), Logical Reasoning
Status: NewBirla Institute of Technology & Science, Pilani
Skills you'll gain: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Data Structures, Graph Theory, Natural Language Processing, Logical Reasoning, Formal Learning
Status: Free TrialSkills you'll gain: Test Driven Development (TDD), Gherkin (Scripting Language), Code Coverage, Behavior-Driven Development, Software Testing, Unit Testing, Test Automation, Test Tools, API Testing, Test Case, Test Data, User Story, Mockups, Restful API, Microservices
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, System Requirements, Agentic systems, Theoretical Computer Science, Verification And Validation, Control Systems, Automation, Network Model, Systems Analysis, Mechanical Engineering, Systems Design, Model Evaluation, Real-Time Operating Systems, Simulations, Robotics, Differential Equations, Safety Assurance, Artificial Intelligence, Algorithms
Status: Free TrialBoard Infinity
Skills you'll gain: Test Planning, Test Tools, Software Testing, Configuration Management, Test Case, Integration Testing, System Testing, Test Automation, Software Development Life Cycle, Acceptance Testing, Software Technical Review, Code Review, Unit Testing, White-Box Testing, Regression Testing, Software Quality Assurance, Test Data, Risk Management, Risk Management Framework, Verification And Validation
What brings you to Coursera today?
In summary, here are 10 of our most popular system validation: automata and behavioural equivalences courses
- System Validation: Automata and behavioural equivalences: 28DIGITAL
- Model Checking with SAT and SMT : University of Colorado Boulder
- Introduction to Model-Based Systems Engineering: Siemens
- Behavioural Base Safety: Coursera
- Evaluate LLMs: Test and Prove Significance: Coursera
- Formal Languages and Applications: Birla Institute of Technology & Science, Pilani
- Software Quality Assurance and Testing: Board Infinity
- Equivalences, Abstraction, and Partial Order Reduction: University of Colorado Boulder
- Automata and Computability: Birla Institute of Technology & Science, Pilani
- Introduction to Test and Behavior Driven Development: IBM
