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: Free Trial
Skills you'll gain: Real-Time Operating Systems, Embedded Systems, Internet Of Things, System Requirements, Software Engineering, System Testing, Software Development, Verification And Validation, Integration Testing, Performance Testing, Secure Coding, Cloud-Based Integration, Systems Integration, IT Security Architecture, System Implementation, Requirements Analysis, Innovation, Encryption, Algorithms
- Status: Free
DeepLearning.AI
Skills you'll gain: Large Language Modeling, Security Testing, Threat Modeling, Application Security, Data Loss Prevention, Continuous Monitoring, Threat Detection, Security Controls, Prompt Engineering, System Monitoring, Personally Identifiable Information, Anomaly Detection, Generative AI, Data Security
- Status: Free Trial
Skills you'll gain: Test Tools, Test Planning, Configuration Management, Software Testing, Test Automation, Test Case, Integration Testing, Code Review, Software Technical Review, Software Quality Assurance, Software Development Life Cycle, System Testing, Acceptance Testing, Quality Assurance, Maintainability, Regression Testing, Unit Testing, Test Data, Functional Testing, User Acceptance Testing (UAT)
- Status: Free Trial
Johns Hopkins University
Skills you'll gain: Integral Calculus, Numerical Analysis, Calculus, Probability, Applied Mathematics, Advanced Mathematics, Geometry, Mathematical Modeling
- Status: Free Trial
Johns Hopkins University
Skills you'll gain: Integral Calculus, Calculus, Linear Algebra, Mathematical Theory & Analysis, Advanced Mathematics, Visualization (Computer Graphics), Applied Mathematics, Graphing, Mathematical Modeling, Spatial Data Analysis
- Status: Free Trial
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
- Status: Free Trial
Skills you'll gain: Process Capability, Statistical Analysis, Data Analysis, Project Management, Six Sigma Methodology, Statistics, Work Breakdown Structure, Data Collection, Project Scoping, Performance Measurement, Process Improvement, Quality Management, Customer experience improvement, Quality Control
- Status: NewStatus: Preview
Skills you'll gain: Role-Based Access Control (RBAC), Code Review, Continuous Integration, Code Coverage, Software Quality Assurance, Software Quality (SQA/SQC), Software Technical Review, CI/CD, Apache Maven, GitHub, PostgreSQL, Programming Principles, Software Engineering, Software Development, Configuration Management, Git (Version Control System), Building Codes, Software Installation
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronics, Program Development, Electronic Systems, System Design and Implementation, Embedded Software, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Design Software, Engineering Documentation, Laboratory Testing
Board Infinity
Skills you'll gain: .NET Framework, Testability, Unit Testing, Maintainability, Test Case, Integration Testing, Test Tools, Development Testing, Software Testing
EIT Digital
Skills you'll gain: Computational Logic, Deductive Reasoning, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation
- Status: Free Trial
The Hong Kong University of Science and Technology
Skills you'll gain: Matlab, Engineering Calculations, Numerical Analysis, Mathematical Software, Engineering Analysis, Linear Algebra, Differential Equations, Applied Mathematics, Mathematical Modeling, Simulation and Simulation Software, Computational Thinking, Estimation, Integral Calculus, Scripting, Simulations, Calculus, Scientific Visualization, Programming Principles, Plot (Graphics), Algorithms
In summary, here are 10 of our most popular quantitative model checking courses
- Capstone: Autonomous Runway Detection for IoT:Â EIT Digital
- Quality and Safety for LLM Applications:Â DeepLearning.AI
- ISTQB Foundation Level Software Testing Certification Prep:Â Board Infinity
- Calculus through Data & Modelling: Techniques of Integration:Â Johns Hopkins University
- Calculus through Data & Modelling: Vector Calculus:Â Johns Hopkins University
- Introduction to Software Testing:Â University of Minnesota
- The DMAIC Framework - Define and Measure Phase:Â SkillUp
- SonarQube for Continuous Inspection and Code Review:Â Edureka
- FPGA Capstone: Building FPGA Projects:Â University of Colorado Boulder
- Fluent Assertion:Â Board Infinity