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 California San Diego
Skills you'll gain: Data Structures, Graph Theory, Algorithms, Network Routing, Debugging, Network Model, Bioinformatics, Operations Research, Data Storage, Development Testing, Software Testing, Theoretical Computer Science, Computational Thinking, Network Analysis, Programming Principles, Computer Programming, Epidemiology, C++ (Programming Language), Infectious Diseases, Computer Science
- Status: Free
Georgia Institute of Technology
Skills you'll gain: User Experience Design, Prototyping, User Centered Design, Usability, Requirements Analysis, User Interface (UI), Interaction Design, Usability Testing, User Research
Skills you'll gain: Data Validation, Spreadsheet Software, Data Analysis, Data Manipulation, Excel Formulas, Query Languages, Pivot Tables And Charts, SQL, Data Transformation, Database Management, Data Import/Export, Constructive Feedback
Skills you'll gain: Malware Protection, Identity and Access Management, Incident Response, Cybersecurity, Threat Modeling, Computer Security Incident Management, Network Security, Threat Management, Threat Detection, Cyber Attacks, Authentications, Distributed Denial-Of-Service (DDoS) Attacks, Security Awareness, Security Controls, Authorization (Computing), Multi-Factor Authentication, Human Factors (Security)
Skills you'll gain: Jupyter, Peer Review, Data Modeling, Data Science, Data Cleansing, Business Analysis, Data Processing, Predictive Modeling, Data Quality, Data Storytelling, User Feedback, Decision Tree Learning
Google Cloud
Skills you'll gain: Generative AI, Google Cloud Platform, Artificial Intelligence, Natural Language Processing, Performance Tuning
DeepLearning.AI
Skills you'll gain: Natural Language Processing, Supervised Learning, Markov Model, Text Mining, Dimensionality Reduction, Artificial Intelligence, Keras (Neural Network Library), Artificial Neural Networks, PyTorch (Machine Learning Library), Machine Learning, Deep Learning, Data Processing, Feature Engineering, Algorithms, Tensorflow, Computer Programming, Machine Learning Methods, Unstructured Data, Regression Analysis, Bayesian Statistics
DeepLearning.AI
Skills you'll gain: Tensorflow, Keras (Neural Network Library), Computer Vision, Image Analysis, Applied Machine Learning, Deep Learning, Artificial Neural Networks, Machine Learning, Supervised Learning, Data Processing, Data Transformation
Skills you'll gain: Network Security, Hardening, Network Protocols, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Vulnerability Assessments, Computer Networking, Network Infrastructure, Firewall, Cloud Computing, Virtual Private Networks (VPN)
University of Michigan
Skills you'll gain: Mathematical Modeling, Systems Thinking, Statistical Modeling, Innovation, Behavioral Economics, Diversity Awareness, Analysis, Strategic Decision-Making, Social Studies, Simulation and Simulation Software, Decision Making, Complex Problem Solving, Trend Analysis, Economics, Critical Thinking, Probability, Learning Theory, Market Analysis, Human Learning, Market Dynamics
Skills you'll gain: Unified Modeling Language, Systems Engineering, Software Systems, Systems Architecture, Systems Analysis, System Design and Implementation, Systems Integration, Interoperability, Solution Architecture, Requirements Analysis, Verification And Validation, Hardware Architecture
Rutgers the State University of New Jersey
Skills you'll gain: Strategic Sourcing, Supplier Management, Procurement, Supplier Relationship Management, Supplier Performance Management, Negotiation, Contract Negotiation, Request For Quotation (RFQ), Stakeholder Management, Contract Management, Market Analysis, Purchasing, Stakeholder Engagement, Supply Management, Request for Proposal, Competitive Analysis, Risk Management, Supply Chain Management, Vendor Contracts, Business Ethics
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Data Structures and Algorithms:Â University of California San Diego
- Introduction to User Experience Design :Â Georgia Institute of Technology
- Analyze Data to Answer Questions:Â Google
- Introduction to Cybersecurity Tools & Cyberattacks:Â IBM
- Data Science Methodology:Â IBM
- Introduction to Large Language Models:Â Google Cloud
- Natural Language Processing:Â DeepLearning.AI
- Convolutional Neural Networks in TensorFlow:Â DeepLearning.AI
- Connect and Protect: Networks and Network Security:Â Google
- Model Thinking:Â University of Michigan