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"
The Museum of Modern Art
Skills you'll gain: Liberal Arts, Social Studies, Aesthetics, Electronic Media, Culture, Cultural Diversity, Media and Communications, Design, Journalism, Architectural Design, Multimedia, Environmental Issue, Artificial Intelligence, Storytelling, Research, Sociology, Creative Design, Social Justice, Non-Verbal Communication, 3D Modeling
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Documentation, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle, Technical Documentation
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
University of California San Diego
Skills you'll gain: Apache Spark, PySpark, Apache Hadoop, Data Integration, Exploratory Data Analysis, Big Data, Graph Theory, Data Pipelines, Data Modeling, Regression Analysis, Data Mining, Data Management, Applied Machine Learning, Data Infrastructure, Data Presentation, Scalability, Data Processing, Statistical Analysis, Databases, Data Architecture
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
Vanderbilt University
Skills you'll gain: ChatGPT, Generative AI, Crisis Management, Incident Response, OpenAI, Data Ethics, Computer Security Incident Management, Artificial Intelligence, Personalized Service, Business Ethics, Information Privacy, Personally Identifiable Information, Cross-Functional Collaboration, Threat Detection, Threat Management, Expense Management, Artificial Intelligence and Machine Learning (AI/ML), Threat Modeling, Creative Thinking, Creative Problem-Solving
Skills you'll gain: Jupyter, Data Modeling, Data Science, Application Deployment, Data-Driven Decision-Making, User Feedback, Data Mining, Data Cleansing, Business Research, Data Manipulation, Business Analysis, Data Processing, Predictive Modeling, Continuous Improvement Process
Johns Hopkins University
Skills you'll gain: Triage, Crisis Intervention, Rapport Building, Emergency Response, Trauma Care, First Aid, Interpersonal Communications, Community Mental Health Services, Mental Health, Stress Management, Patient Referral, Health Assessment
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Systems Design, Electronic Hardware, Electrical and Computer Engineering, Simulation and Simulation Software, Embedded Systems, Verification And Validation, Computer Engineering, Development Testing, Debugging
Skills you'll gain: Data Cleansing, Sampling (Statistics), Data Integrity, Data Quality, Data Validation, Google Sheets, Data Analysis, Data Manipulation, SQL, Data Transformation, Spreadsheet Software, Microsoft Excel
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 Michigan
Skills you'll gain: Matplotlib, Network Analysis, Feature Engineering, Plot (Graphics), Data Visualization Software, Interactive Data Visualization, Pandas (Python Package), Applied Machine Learning, Supervised Learning, Text Mining, Scikit Learn (Machine Learning Library), Network Model, Jupyter, NumPy, Graph Theory, Data Manipulation, Natural Language Processing, Data Analysis, Data Processing, Unstructured Data
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Modern and Contemporary Art and Design:Â The Museum of Modern Art
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- Software Architecture:Â University of Alberta
- Big Data:Â University of California San Diego
- Business Statistics and Analysis:Â Rice University
- Generative AI Cybersecurity & Privacy for Leaders:Â Vanderbilt University
- Data Science Methodology:Â IBM
- Psychological First Aid:Â Johns Hopkins University
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Process Data from Dirty to Clean:Â Google