Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
University of Leeds
Skills you'll gain: Software Testing
Status: FreeEIT Digital
Skills you'll gain: Leadership and Management
Duke University
Skills you'll gain: Cloud Computing, Data Science, Machine Learning, Python Programming
Skills you'll gain: Cloud Computing
The Hong Kong University of Science and Technology
Skills you'll gain: Software Engineering, System Software, Systems Design, Data Model, Software Architecture, Software Engineering Tools, Software Framework, Back-End Web Development, Process Analysis, User Experience Design, Project Management
Status: FreeUniversitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Design, Problem Solving, Algorithms, Systems Design
The Hong Kong University of Science and Technology
Skills you'll gain: Software Engineering, Software Testing, Agile Software Development, Scrum (Software Development), Software Engineering Tools, System Software, Project Management
L&T EduTech
Stanford University
Skills you'll gain: Bayesian Network, Probability & Statistics, General Statistics, Graph Theory, Probability Distribution, Bayesian Statistics, Markov Model, Correlation And Dependence, Machine Learning, Network Model, Decision Making, Human Learning, Algorithms
Coursera Project Network
University of Pennsylvania
Skills you'll gain: Business Analysis, Data Analysis, General Statistics, Probability & Statistics, Risk Management, Statistical Tests, Data Model, Probability Distribution, Spreadsheet Software, Statistical Analysis
University of Minnesota
Skills you'll gain: Computer Programming, Software Engineering, Software Testing, Problem Solving, Data Analysis Software, Java Programming, Programming Principles, System Software, Planning
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Foundations of Software Testing and Validation:Â University of Leeds
- Quantitative Model Checking:Â EIT Digital
- Large Language Model Operations (LLMOps):Â Duke University
- Introduction to Model-Based Systems Engineering:Â Siemens
- Software Engineering: Modeling Software Systems using UML:Â The Hong Kong University of Science and Technology
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Software Engineering: Implementation and Testing:Â The Hong Kong University of Science and Technology
- Power System Modelling and Fault Analysis:Â L&T EduTech
- Probabilistic Graphical Models:Â Stanford University
- FEM - Linear, Nonlinear Analysis & Post-Processing:Â Coursera Project Network
