Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
Duke University
Skills you'll gain: Databricks, Generative AI, Performance Analysis, Apache Airflow, Workflow Management, Data Lakes, Extract, Transform, Load, OpenAI, AWS SageMaker, Performance Tuning, Scalability, Data Transformation, Data Infrastructure, Microsoft Azure, MLOps (Machine Learning Operations), Amazon Web Services, Natural Language Processing, PyTorch (Machine Learning Library), Risk Management Framework, Artificial Intelligence
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
Skills you'll gain: Unified Modeling Language, Systems Engineering, Software Systems, Systems Architecture, Systems Analysis, System Design and Implementation, Systems Integration, Interoperability, Solution Architecture, Requirements Analysis, Verification And Validation, Hardware Architecture
Stanford University
Skills you'll gain: Bayesian Network, Applied Machine Learning, Graph Theory, Machine Learning Algorithms, Probability Distribution, Statistical Modeling, Markov Model, Decision Support Systems, Machine Learning, Predictive Modeling, Network Model, Probability & Statistics, Network Analysis, Machine Learning Methods, Statistical Inference, Sampling (Statistics), Statistical Methods, Natural Language Processing, Algorithms
Coursera Project Network
Skills you'll gain: Finite Element Methods, Engineering Analysis, Simulation and Simulation Software, Simulations, Mechanical Design, Structural Analysis, Engineering Design Process
University of Minnesota
Skills you'll gain: Software Testing, JUnit, Verification And Validation, Unit Testing, Test Case, Test Automation, Development Testing, Test Planning, Code Coverage, Software Quality Assurance, Functional Testing, Testability, Integration Testing, Test Data, Issue Tracking
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Systems, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Simulations
Stanford University
Skills you'll gain: Bayesian Network, Graph Theory, Probability Distribution, Statistical Modeling, Markov Model, Decision Support Systems, Probability & Statistics, Network Analysis, Applied Machine Learning, Natural Language Processing
L&T EduTech
Skills you'll gain: Electrical Substation, Three-Phase, High Voltage, Wiring Diagram, Power Electronics, Basic Electrical Systems, Electrical Engineering, Systems Analysis, Engineering Analysis, Mathematical Modeling, Simulation and Simulation Software, Systems Of Measurement, Network Analysis, Reliability
University of Pennsylvania
Skills you'll gain: Risk Modeling, Probability Distribution, Mathematical Modeling, Risk Management, Data Visualization, Predictive Modeling, Data Modeling, Probability, Strategic Decision-Making, Simulation and Simulation Software, Forecasting, Data-Driven Decision-Making, Statistics, Microsoft Excel
The Hong Kong University of Science and Technology
Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Systems Design, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Software Development, Software Engineering, Software Systems
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Large Language Model Operations (LLMOps): Duke University
- Hardware Description Languages for FPGA Design: University of Colorado Boulder
- Introduction to Model-Based Systems Engineering: Siemens
- Probabilistic Graphical Models: Stanford University
- FEM - Linear, Nonlinear Analysis & Post-Processing: Coursera Project Network
- Introduction to Software Testing: University of Minnesota
- Foundations of Software Testing and Validation: University of Leeds
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Probabilistic Graphical Models 1: Representation: Stanford University
- Power System Modelling and Fault Analysis: L&T EduTech