Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
Skills you'll gain: Simulation and Simulation Software, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Engineering, Test Data, Systems Design, Control Panels, Process Control, Matlab
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Open Source Technology, Cloud API, Secure Coding, Computer Programming
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives
University of Colorado Boulder
Skills you'll gain: Reliability, Performance Tuning, Embedded Software, Embedded Systems, Debugging, Performance Testing, System Programming, Safety Assurance, Systems Architecture, Systems Design, Hardware Architecture, Software Design, Real Time Data, Testability, Failure Analysis, Data Integrity, Linux
Johns Hopkins University
Skills you'll gain: Integral Calculus, Calculus, Data Integration, Mathematical Theory & Analysis, Advanced Mathematics, Visualization (Computer Graphics), Applied Mathematics, Spatial Data Analysis, Geometry, Physics
- Status: Free
Coursera Project Network
Skills you'll gain: JUnit, Unit Testing, Integrated Development Environments, Software Testing, Quality Assurance, Java, Software Development Tools, Debugging, Performance Testing, Application Performance Management
Skills you'll gain: Structural Engineering, Structural Analysis, Building Design, Architectural Engineering, Failure Analysis, Engineering Calculations, Engineering Design Process, Engineering Software, Technical Standard
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Debugging, Systems Engineering, Technical Communication, Automation, Simulations, Scenario Testing, Verification And Validation, Business Strategies
University of Minnesota
Skills you'll gain: Test Automation, Regression Testing, Software Testing, Software Development Tools, Unit Testing, Software Engineering Tools, Software Technical Review, JUnit, Development Testing, System Testing, Code Coverage, Security Testing, Verification And Validation, Test Case, Test Data, Debugging, Automation, Application Security, Vulnerability Scanning, Java Programming
- Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
Board Infinity
Skills you'll gain: Test Case, Software Testing, Integration Testing, Software Development Life Cycle, System Testing, Acceptance Testing, Maintainability, Regression Testing, Test Planning, Software Quality Assurance, Functional Testing, Usability Testing
Coursera Project Network
Skills you'll gain: Keras (Neural Network Library), Tensorflow, Applied Machine Learning, Deep Learning, Artificial Neural Networks, Image Analysis
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Modeling and Simulation with Simulink : MathWorks
- Prompt Engineering with Llama 2&3: DeepLearning.AI
- Calculus through Data & Modelling: Series and Integration: Johns Hopkins University
- Real-Time Mission-Critical Systems Design: University of Colorado Boulder
- Calculus through Data & Modelling: Vector Calculus: Johns Hopkins University
- Testing and Profiling in NetBeans: Fix a Mortgage Calculator: Coursera Project Network
- Modelling, Analysis and Design of Steel Buildings: L&T EduTech
- Modeling and Debugging Embedded Systems: University of Colorado Boulder
- Introduction to Automated Analysis: University of Minnesota
- Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz