Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
- 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
- Status: Free
Coursera Project Network
Skills you'll gain: OpenAI, ChatGPT, Cost Benefit Analysis, Business Process Automation, Generative AI, Application Programming Interface (API), Development Environment, Business Logic, Scalability, Artificial Intelligence, Business Solutions, TypeScript, Node.JS, Natural Language Processing, Complex Problem Solving, Application Security
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Debugging, Systems Engineering, Technical Communication, Automation, Simulations, Scenario Testing, Verification And Validation, Business Strategies
- Status: Free
Coursera Instructor Network
Skills you'll gain: Program Evaluation, Generative AI, Data Ethics, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Google Cloud Platform, Natural Language Processing, Quality Assessment, Analysis, Performance Measurement, Business Metrics, Human Factors, Performance Metric
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Systems Design, System Requirements, Verification And Validation, Systems Architecture, Requirements Analysis, Software Systems, Automation, Mechanical Engineering, Computer Systems, Systems Analysis, Embedded Systems, Systems Engineering, Linear Algebra, Differential Equations, Electrical Engineering, Applied Mathematics, Algorithms
Johns Hopkins University
Skills you'll gain: Integral Calculus, Calculus, Geometry, Applied Mathematics, Mechanics, Mathematical Modeling, Advanced Mathematics, Graphing, Physics
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Embedded Software, Software Design, Linux, Linux Administration, System Design and Implementation, Real Time Data, Software Systems, OS Process Management, Operating Systems, Service Design, Systems Analysis, Theoretical Computer Science, Verification And Validation, Mathematical Software, Algorithms, Debugging
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
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
Whizlabs
Skills you'll gain: AWS SageMaker, Statistical Modeling, Predictive Modeling, Data Modeling, Amazon Web Services, Machine Learning, Machine Learning Algorithms, Performance Tuning
Johns Hopkins University
Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Applied Mathematics, Numerical Analysis, Mathematical Modeling, Derivatives
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
- Automated Reasoning with GPT Assistant API: ReAct Agents: Coursera Project Network
- Modeling and Debugging Embedded Systems: University of Colorado Boulder
- Evaluating Large Language Model Outputs: A Practical Guide: Coursera Instructor Network
- System Validation: Automata and behavioural equivalences: EIT Digital
- Foundations of Autonomous Systems: University of Colorado Boulder
- Calculus through Data & Modelling: Integration Applications: Johns Hopkins University
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
- Real-Time Mission-Critical Systems Design: University of Colorado Boulder
- Quantitative Model Checking: EIT Digital