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"
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)
University of Alberta
Skills you'll gain: Software Architecture, Unified Modeling Language, Systems Architecture, Software Design, Software Visualization, Solution Architecture, Software Systems, Software Development, Software Documentation, Software Design Patterns, System Design and Implementation, Software Technical Review, Object Oriented Design, Maintainability, Scalability
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
University of California, Davis
Skills you'll gain: ArcGIS, GIS Software, Spatial Analysis, Data Storytelling, Spatial Data Analysis, Geographic Information Systems, Data Presentation, Data Sharing, Geospatial Mapping, Geospatial Information and Technology, Land Management, Heat Maps, Epidemiology, Metadata Management, Data Mapping, Data Visualization Software, Data Quality, File Management, Network Analysis, Data Modeling
Amazon Web Services
Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Amazon DynamoDB, Amazon Web Services, Cloud Computing, Amazon S3, Scalability, Cloud Infrastructure, Amazon Elastic Compute Cloud, Cloud Security, Serverless Computing, Cloud Storage, Databases, Virtual Private Networks (VPN), Load Balancing, General Networking, Virtual Machines, Containerization
University at Buffalo
Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Product Engineering, Data Modeling, Manufacturing Processes, Product Lifecycle Management, Configuration Management, Verification And Validation, Simulation and Simulation Software, Digital Transformation, Computer-Aided Design
Duke University
Skills you'll gain: Presentations, Data Storytelling, Data Presentation, Database Design, MySQL, Relational Databases, SQL, Data Visualization, Business Analytics, Business Metrics, Data Visualization Software, Business Process Improvement, Business Intelligence, Tableau Software, Financial Modeling, Microsoft Excel, Excel Formulas, Business Process, Probability Distribution, Business Risk Management
University of Pennsylvania
Skills you'll gain: Financial Statements, Return On Investment, Financial Statement Analysis, Finance, Financial Reporting, Capital Budgeting, Financial Accounting, Financial Modeling, Working Capital, Balance Sheet, Accrual Accounting, Accounting, Cash Flows, Income Statement, Generally Accepted Accounting Principles (GAAP), Financial Analysis, Tax Planning, Equities, Financial Planning, Corporate Finance
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
Cisco Learning and Certifications
Skills you'll gain: Software-Defined Networking, YAML, Network Architecture, Network Protocols, Computer Networking, Data Modeling, Network Administration, Extensible Markup Language (XML), JSON, Automation, Application Programming Interface (API)
Rice University
Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Pivot Tables And Charts, Regression Analysis, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Analysis, Statistical Modeling, Excel Formulas, Data Analysis, Data Presentation, Statistics, Sample Size Determination, Box Plots, Analytical Skills, Statistical Inference
DeepLearning.AI
Skills you'll gain: Tensorflow, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), Performance Tuning, Machine Learning Methods, Artificial Neural Networks, Applied Machine Learning, Machine Learning, Supervised Learning, Machine Learning Algorithms, Network Architecture, Algorithms, Analysis, Debugging
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Introduction to Cybersecurity Tools & Cyberattacks:Â IBM
- Software Architecture:Â University of Alberta
- Analyze Data to Answer Questions:Â Google
- Geographic Information Systems (GIS):Â University of California, Davis
- AWS Cloud Technical Essentials:Â Amazon Web Services
- MBSE: Model-Based Systems Engineering :Â University at Buffalo
- Excel to MySQL: Analytic Techniques for Business:Â Duke University
- Introduction to Finance and Accounting:Â University of Pennsylvania
- Calculus through Data & Modeling: Precalculus Review:Â Johns Hopkins University
- Introducing Model-Driven Programmability:Â Cisco Learning and Certifications