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: Electrical Systems, Electrical Safety, Simulations, Thermal Management, Basic Electrical Systems, Estimation, Power Electronics, Control Systems, Systems Engineering, Electrical Engineering, Mathematical Modeling, Electronic Components, High Voltage, Electrical Power, Electronic Systems, Energy and Utilities, Matlab, Failure Analysis, Electrical Substation, Numerical Analysis
- Status: Free
University of Washington
Skills you'll gain: Supervised Learning, Network Model, Matlab, Machine Learning Algorithms, Artificial Neural Networks, Neurology, Computer Science, Reinforcement Learning, Computational Thinking, Mathematical Modeling, Biology, Linear Algebra, Probability & Statistics
University of Michigan
Skills you'll gain: Mechanical Engineering, Thermal Management, HVAC, Engineering, Energy and Utilities, Physics, Engineering Analysis, Plant Operations and Management, Process Analysis, Environmental Science
Macquarie University
Skills you'll gain: Dashboard, Microsoft Excel, Excel Formulas, Spreadsheet Software, Data Analysis Expressions (DAX), Data Cleansing, Finance, Business Intelligence Software, Data Validation, Financial Modeling, Data Visualization, Loans, Depreciation, Automation
Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Consolidation, Data Transformation, Requirements Analysis, Exploratory Data Analysis, Data Validation, Statistical Programming, Statistical Analysis, Data Processing, SQL, Data Presentation, Data Cleansing, Descriptive Statistics, Debugging
University at Buffalo
Skills you'll gain: Blockchain, Cryptography, Transaction Processing, Network Protocols, Encryption, Network Model, Data Structures, Distributed Computing, FinTech, Virtual Environment, Data Integrity, Emerging Technologies, Virtual Machines, Verification And Validation
University of Michigan
Skills you'll gain: Database Design, SQL, MySQL, Relational Databases, Databases, Data Modeling, Development Environment, PHP (Scripting Language), Software Installation
University of Washington
Skills you'll gain: Applied Machine Learning, Feature Engineering, Regression Analysis, Machine Learning, Image Analysis, Artificial Intelligence and Machine Learning (AI/ML), Supervised Learning, Artificial Intelligence, Deep Learning, Classification And Regression Tree (CART), Computer Vision, Application Development, Predictive Modeling, Natural Language Processing, Text Mining, Data Mining, Information Architecture
Skills you'll gain: Excel Formulas, Microsoft Excel, Data Cleansing, Spreadsheet Software, Data Analysis Expressions (DAX), Data Validation, Complex Problem Solving, Statistical Analysis, Financial Analysis
University of Colorado System
Skills you'll gain: TCP/IP, Local Area Networks, Routing Protocols, Network Routing, Digital Communications, OSI Models, Network Protocols, Dynamic Host Configuration Protocol (DHCP), Network Security, Network Planning And Design, Network Architecture, Network Performance Management, Computer Networking, Network Model, Network Infrastructure, Wireless Networks, Telecommunications, Software-Defined Networking, Algorithms, System Programming
University of Toronto
Skills you'll gain: ArcGIS, Spatial Data Analysis, Spatial Analysis, Geographic Information Systems, Geospatial Mapping, GIS Software, Data Mapping, Data Visualization, Metadata Management, Query Languages, Global Positioning Systems, Quantitative Research, Data Compilation, Data Modeling, Typography, Data Manipulation, Data Processing, Data Storytelling, Design Elements And Principles, Image Analysis
- Status: Free
Vanderbilt University
Skills you'll gain: Clinical Data Management, Data Capture, Clinical Research, Data Management, Data Collection, Data Sharing, Data Strategy, Data Quality, Data Integrity, Data Validation, Regulatory Compliance
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Algorithms for Battery Management Systems:Â University of Colorado Boulder
- Computational Neuroscience:Â University of Washington
- Introduction to Thermodynamics: Transferring Energy from Here to There:Â University of Michigan
- Excel Skills for Business: Advanced:Â Macquarie University
- SAS Programmer:Â SAS
- Blockchain Basics:Â University at Buffalo
- Introduction to Structured Query Language (SQL):Â University of Michigan
- Machine Learning Foundations: A Case Study Approach:Â University of Washington
- Problem Solving with Excel :Â PwC
- Computer Communications:Â University of Colorado System