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
Board Infinity
Skills you'll gain: Software Testing, Test Planning, Test Case, Software Quality Assurance, Software Technical Review, Quality Assurance, Verification And Validation, Software Documentation, Requirements Analysis, Technical Communication
- 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
Skills you'll gain: Software Testing, Test Case, .NET Framework, Test Automation, Testability, Integration Testing, Microsoft Visual Studio, Debugging, C# (Programming Language), Mockups
- 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
Coursera Project Network
Skills you'll gain: Jupyter, Plot (Graphics), Microsoft Azure, Applied Machine Learning, Scikit Learn (Machine Learning Library), Data Visualization, Machine Learning, Regression Analysis
- Status: Free Trial
University of Colorado Boulder
Skills you'll gain: Public Key Cryptography Standards (PKCS), Cryptography, Data Structures, Algorithms, Encryption, Theoretical Computer Science, Computer Science, Computational Thinking, Data Storage Technologies, Linear Algebra, IBM Cloud, Python Programming, Arithmetic
In summary, here are 10 of our most popular quantitative model checking courses
- Fundamentals of Test Case Design:Â Board Infinity
- Capstone: Autonomous Runway Detection for IoT:Â EIT Digital
- Complete Guide to Unit Testing in .NET Core (NUnit & xUnit):Â Packt
- 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