Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "quantitative model checking"
- Status: NewStatus: Preview
Skills you'll gain: Classification And Regression Tree (CART), Predictive Analytics, Decision Tree Learning, Data-Driven Decision-Making, Marketing Analytics, Data Analysis, Feature Engineering, Statistical Modeling, Financial Forecasting, Marketing, Supervised Learning, Data Cleansing, Machine Learning Methods, Data Transformation
- Status: Free Trial
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Engineering Calculations, Trigonometry, Engineering Analysis, Linear Algebra, Calculus, Differential Equations, Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Algebra
- Status: New
Google Cloud
Skills you'll gain: Threat Modeling, Open Web Application Security Project (OWASP), Large Language Modeling, Application Security, Secure Coding, Security Controls, Prompt Engineering, Google Cloud Platform, Systems Architecture, Application Programming Interface (API)
- Status: Free Trial
University of California, Davis
Skills you'll gain: Surveys, Statistical Hypothesis Testing, Quantitative Research, Statistical Analysis, Marketing Analytics, Market Research, Data Analysis, Marketing, Target Market, Regression Analysis, Sample Size Determination, Quality Control
- Status: NewStatus: Free Trial
Skills you'll gain: Extensible Markup Language (XML), Extensible Languages and XML, Javascript, Document Management, Scripting
- Status: Preview
Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Practices, Mathematical Modeling, Engineering Analysis, Systems Engineering, Systems Design, Performance Tuning, Matlab
- Status: NewStatus: Preview
Fractal Analytics
Skills you'll gain: Threat Modeling, Enterprise Architecture, Infrastructure Architecture, Application Security, Security Controls, Real Time Data, Generative AI Agents, Interoperability, Systems Architecture, Security Strategy, Agentic systems, Artificial Intelligence, Generative AI, Servers, Computer Programming
- Status: NewStatus: Free Trial
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Analytical Skills, Theoretical Computer Science, Computational Thinking, Computer Science, Data Analysis, Computer Programming, Verification And Validation, Algorithms, Program Development, Software Development, Machine Learning
- Status: Free Trial
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Unit Testing, Test Tools, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Functional Requirement, Application Security
- Status: Preview
Skills you'll gain: Systems Development Life Cycle, Unified Modeling Language, Systems Engineering, Systems Design, Software Systems, Systems Architecture, Systems Analysis, Systems Integration, Simulations, Solution Architecture, Requirements Analysis, Verification And Validation, Cloud Computing
- Status: NewStatus: Preview
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Systems Design, Theoretical Computer Science, Systems Analysis, Computer Architecture, System Programming, Software Architecture, Graph Theory, Hardware Architecture, Algorithms, Logical Reasoning
- Status: NewStatus: Preview
Skills you'll gain: Generative AI Agents, Real Time Data, Debugging, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Data Access, Server Side, Generative AI, Cloud API, Application Programming Interface (API), Interoperability, Integrated Development Environments, Software Architecture
In summary, here are 10 of our most popular quantitative model checking courses
- Predictive Analytics Model for Term Deposit Investment:Â EDUCBA
- Basic Engineering Mathematics:Â Birla Institute of Technology & Science, Pilani
- Model Armor: Securing AI Deployments:Â Google Cloud
- Quantitative Research:Â University of California, Davis
- XML Practical - Document Object Model:Â EDUCBA
- Modeling and Simulation with Simulink :Â MathWorks
- Model Context Protocol (MCP) Mastery:Â Fractal Analytics
- Logic for Computer Science:Â Birla Institute of Technology & Science, Pilani
- Introduction to Automated Analysis:Â University of Minnesota
- Introduction to Model-Based Systems Engineering:Â Siemens