Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "model checking"
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Theoretical Computer Science, Verification And Validation, System Requirements, Agentic systems, Automation, Software Systems, Mechanical Engineering, Systems Analysis, Systems Engineering, Simulations, Applied Mathematics, Control Systems, Linear Algebra, Differential Equations, Computer Science, Hardware Architecture, Artificial Intelligence, Algorithms
Universidad Austral
Skills you'll gain: Software Documentation, Object Oriented Design, Unified Modeling Language, Relational Databases, Object-Relational Mapping, Software Design, Test Driven Development (TDD), Database Management, Unit Testing, Database Design, SQL, Debugging, Data Structures, Python Programming, JSON, File Management, Scripting, Software Installation, Development Environment, Integrated Development Environments
Skills you'll gain: Prompt Engineering, Google Cloud Platform, Generative AI, Cloud Infrastructure, MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), Cloud Platforms, Large Language Modeling, Machine Learning, Natural Language Processing, Application Programming Interface (API)
University of Michigan
Skills you'll gain: Unified Modeling Language, Software Design, Object Oriented Design, Image Analysis, Python Programming, Jupyter, Software Engineering, Application Programming Interface (API), Computer Vision, Integrated Development Environments, Debugging
University of London
Skills you'll gain: Professional Networking, Professionalism, Resource Allocation, Time Management, Prioritization, Organizational Skills, Verbal Communication Skills, Communication, LinkedIn, Stakeholder Management, Delegation Skills, Non-Verbal Communication, Business Relationship Management, Personal Attributes, Branding, Social Media
IIMA - IIM Ahmedabad
Skills you'll gain: Digital Transformation, Business Transformation, Stakeholder Engagement, Innovation, Organizational Change, Change Management, Business Modeling, Technology Strategies, Organizational Strategy, Artificial Intelligence, Enterprise Architecture, Organizational Effectiveness, Performance Improvement, Cloud Computing Architecture, Governance, Business Technologies, Emerging Technologies, Operational Excellence, Workforce Development, Business Leadership
Skills you'll gain: Mainframe Computing, z/OS, Virtualization, Virtualization and Virtual Machines, Operating Systems, IBM Cloud, Hardware Architecture, Infrastructure Architecture, Enterprise Security, Computer Security, Computer Systems, Computer Hardware, Cryptography, System Configuration
DeepLearning.AI
Skills you'll gain: Image Analysis, Tensorflow, Computer Vision, JSON, Applied Machine Learning, Javascript, Artificial Neural Networks, Deep Learning, Data Processing, Real Time Data, Web Applications
University of Colorado System
Skills you'll gain: Tidyverse (R Package), Clinical Data Management, Extract, Transform, Load, Data Modeling, Clinical Research, R Programming, Data Manipulation, Predictive Modeling, Database Design, Google Cloud Platform, Intensive Care Unit, Data Ethics, Data Quality, Risk Modeling, Natural Language Processing, Health Informatics, Statistical Modeling, Bioinformatics, Text Mining, Data Processing
Università di Napoli Federico II
Skills you'll gain: Model Based Systems Engineering, Mechanical Engineering, Control Systems, Computer Vision, Laboratory Experience, Simulations, Equipment Design, Matlab, Electronic Systems, Technical Design, Vibrations, Hydraulics, Automation
University of California, Santa Cruz
Skills you'll gain: Bayesian Statistics, Statistical Modeling, Statistical Methods, Markov Model, Statistical Analysis, Regression Analysis, R Programming, Simulations, Statistical Inference, Data Analysis, Probability, Probability Distribution
Arizona State University
Skills you'll gain: Innovation, Design Thinking, Ideation, Creativity, Customer experience improvement, Product Development, Research and Design, Service Design, Strategic Planning, Brand Management, Process Improvement, Business Strategies, Business Modeling, Corporate Sustainability, Environmental Social And Corporate Governance (ESG)
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Foundations of Autonomous Systems:Â University of Colorado Boulder
- Aprende a programar con Python:Â Universidad Austral
- Introduction to AI and Machine Learning on Google Cloud:Â Google Cloud
- Python Project: Software Engineering and Image Manipulation:Â University of Michigan
- Professional Skills for International Business:Â University of London
- Advanced Digital Transformation:Â IIMA - IIM Ahmedabad
- Introduction to Enterprise Computing:Â IBM
- Browser-based Models with TensorFlow.js:Â DeepLearning.AI
- Clinical Data Science:Â University of Colorado System
- Modelling and simulation of mechanical systems: Università di Napoli Federico II