Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
LearnKartS
Skills you'll gain: Conflict Management, Project Management, Project Planning, Performance Analysis, Negotiation, Estimation, Project Coordination, Risk Management, Change Management, Stakeholder Management
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Documentation, Agile Methodology, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle, Technical Documentation, Conflict Management
The Hong Kong University of Science and Technology
Skills you'll gain: Acceptance Testing, Software Development Methodologies, Configuration Management, Debugging, Software Development Life Cycle, Software Testing, Software Engineering, Unified Modeling Language, System Testing, Verification And Validation, Unit Testing, System Design and Implementation, Agile Software Development, Secure Coding, Test Case, Requirements Analysis, Waterfall Methodology
Stanford University
Skills you'll gain: Bayesian Network, Machine Learning Methods, Statistical Inference, Markov Model, Graph Theory, Sampling (Statistics), Statistical Methods, Probability & Statistics, Algorithms, Probability Distribution, Machine Learning Algorithms
Skills you'll gain: ChatGPT, Generative AI, OpenAI, PyTorch (Machine Learning Library), Tensorflow, Performance Tuning, Reinforcement Learning, Artificial Intelligence, Natural Language Processing, Machine Learning
Johns Hopkins University
Skills you'll gain: Data Analysis, Applied Mathematics, Mathematical Modeling, Analytical Skills, Data Modeling, Statistics, Systems Of Measurement, Correlation Analysis, Regression Analysis
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Real Time Data, Software Systems, System Programming, Operating Systems, System Design and Implementation, Linux, Mathematical Software, Verification And Validation, Algorithms
DeepLearning.AI
Skills you'll gain: iOS Development, Android Development, Tensorflow, Swift Programming, Mobile Development, Application Deployment, Applied Machine Learning, Deep Learning, Embedded Systems, Computer Vision, Machine Learning
Google Cloud
Skills you'll gain: Looker (Software), Data Modeling, Dashboard, Data Warehousing, Performance Tuning, Business Intelligence, SQL, Data Analysis, Version Control
Johns Hopkins University
Skills you'll gain: Calculus, Applied Mathematics, Trigonometry, Advanced Mathematics, Mathematical Modeling, Algebra, Derivatives, Graphing, Geometry
- Status: Free
The University of Melbourne
Skills you'll gain: Debugging, Mathematical Modeling, Operations Research, Combinatorics, Graph Theory, Algorithms, Data Structures
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Models, Methods, and Artifacts: LearnKartS
- Requirements Engineering: Secure Software Specifications: University of Colorado System
- Software Engineering: Implementation and Testing: The Hong Kong University of Science and Technology
- Probabilistic Graphical Models 2: Inference: Stanford University
- Generative AI Advance Fine-Tuning for LLMs : IBM
- Precalculus: Mathematical Modeling: Johns Hopkins University
- Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
- Device-based Models with TensorFlow Lite: DeepLearning.AI
- Developing Data Models with LookML: Google Cloud