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: 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
- Status: Free
The Hong Kong University of Science and Technology
Skills you'll gain: Statistical Inference, Statistical Methods, Pandas (Python Package), Probability & Statistics, Risk Analysis, Statistics, Financial Trading, Financial Data, Data Manipulation, Statistical Analysis, Regression Analysis, Financial Analysis, Jupyter, Financial Modeling, Python Programming, Data Import/Export
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Crisis Intervention, First Aid, Emergency Response, Mental Health, Pediatrics, Stress Management, Behavioral Health, Disabilities, Active Listening, Interpersonal Communications
University of Pennsylvania
Skills you'll gain: Return On Investment, Financial Reporting, Finance, Financial Data, Capital Budgeting, Financial Statements, Financial Modeling, Mathematical Modeling, Statistical Modeling, Regression Analysis, Business Modeling, Income Statement, Financial Analysis, Risk Analysis, Cash Flows, Business Mathematics, Financial Planning, Spreadsheet Software, Google Sheets, Excel Formulas
University of Colorado Boulder
Skills you'll gain: Embedded Software, Embedded Systems, Debugging, Failure Analysis, Technical Communication, Simulations, System Design and Implementation, Scenario Testing, Computer Programming Tools
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
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
- Status: Free
Università Bocconi
Skills you'll gain: Annual Reports, Retail Store Operations, Brand Management, Global Marketing, Brand Strategy, Digital Publishing, Social Media Content, Communication Strategies, Marketing Strategies, Business Management, Business Modeling, Business Strategy, E-Commerce, Consumer Behaviour, Market Trend, Product Development
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
University of California, Davis
Skills you'll gain: Data Governance, SQL, Data Quality, Query Languages, Data Manipulation, Data Modeling, Relational Databases, Data Science, Data Analysis, Database Management Systems, Descriptive Statistics
Skills you'll gain: ChatGPT, Generative AI, Exploratory Data Analysis, Data Ethics, OpenAI, Feature Engineering, Predictive Modeling, Artificial Intelligence, IBM Cloud, Data Storytelling, Data Modeling, Artificial Intelligence and Machine Learning (AI/ML), Predictive Analytics, Data Science, Data Analysis, Data Transformation, Data Visualization Software, Software Development Tools, Image Analysis, Technical Communication
University of California San Diego
Skills you'll gain: Data Structures, Graph Theory, Algorithms, Network Routing, Debugging, Network Model, Bioinformatics, Advanced Mathematics, 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
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Introduction to Model-Based Systems Engineering:Â Siemens
- Python and Statistics for Financial Analysis:Â The Hong Kong University of Science and Technology
- Primeros Auxilios Psicológicos (PAP): Universitat Autònoma de Barcelona
- Finance & Quantitative Modeling for Analysts:Â University of Pennsylvania
- Modeling and Debugging Embedded Systems:Â University of Colorado Boulder
- Software Architecture:Â University of Alberta
- Generative AI Cybersecurity & Privacy for Leaders:Â Vanderbilt University
- Management of Fashion and Luxury Companies: Università Bocconi
- Applied Data Science with Python:Â University of Michigan
- SQL for Data Science:Â University of California, Davis