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
Skills you'll gain: Simulation and Simulation Software, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Engineering, Test Data, Systems Design, Control Panels, Process Control, Matlab
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, Computer Engineering, Hardware Architecture, Technical Design, Computer Systems, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Simulations
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
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
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
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
- Modeling and Simulation with Simulink : MathWorks
- Foundations of Software Testing and Validation: University of Leeds
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Power System Modelling and Fault Analysis: L&T EduTech
- Modeling Risk and Realities: University of Pennsylvania