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 Michigan
Skills you'll gain: Market Data, Loans, Finance, Microsoft Excel, General Finance, Corporate Finance, Mortgage Loans, Financial Analysis, Equities, Investments, Financial Market, Business Valuation, Investment Management, Capital Budgeting, Capital Markets, Financial Modeling, Financial Management, Business Mathematics, Financial Planning, Cash Flows
- Status: Free
Universiteit Leiden
Skills you'll gain: Mindfulness, Self-Awareness, Mental Health Therapies, Mental Health, Social Justice, Psychology, Social Sciences, Cultural Diversity, Environment and Resource Management, Critical Thinking, Trauma Care, Ethical Standards And Conduct
University of Minnesota
Skills you'll gain: Cucumber (Software), Gherkin (Scripting Language), Software Testing, Testability, Test Case, Behavior-Driven Development, Code Coverage, Acceptance Testing, Unit Testing, Functional Testing, Test Automation, Requirements Analysis, Java Programming
IESE Business School
Skills you'll gain: Corporate Finance, Capital Budgeting, Financial Modeling, Financial Analysis, Financial Market, Return On Investment, Investments, Business Valuation, Portfolio Management, Cost Accounting, Risk Management
Skills you'll gain: Data Presentation, Dashboard, Data Storytelling, Data Visualization Software, Microsoft Excel, Spreadsheet Software, Excel Formulas, Graphing, Pivot Tables And Charts, Data Modeling, Databases, Data Analysis, Simulation and Simulation Software
- Status: Free
Skills you'll gain: Health Disparities, Motivational Interviewing, Medication Therapy Management, Mental and Behavioral Health, Patient Education And Counseling, Patient Evaluation, Psychiatry, Patient Treatment, Psychotherapy, Treatment Planning, Chronic Diseases, Pharmacology, Health Policy, Care Management, Risk Analysis
- Status: New
Skills you'll gain: Simulation and Simulation Software, Control Systems, Model Based Systems Engineering, Engineering Practices, Mathematical Modeling, Engineering Analysis, Systems Engineering, Systems Design, Performance Tuning, Matlab
University of Michigan
Skills you'll gain: Stored Procedure, Database Design, SQL, Relational Databases, NoSQL, PostgreSQL, Database Architecture and Administration, Database Theory, Database Management Systems, Data Modeling, JSON, Scalability, Database Management, Query Languages, Cloud Applications, Data Manipulation, Text Mining, Databases, Data Integrity, Data Import/Export
Kennesaw State University
Skills you'll gain: Network Security, Incident Response, Network Administration, Vulnerability Management, Cybersecurity, Contingency Planning, Cyber Governance, Cyber Attacks, Disaster Recovery, Computer Security Incident Management, Cyber Security Policies, Security Management, Firewall, Network Monitoring, Cyber Security Strategy, General Networking, Crisis Management, Vulnerability Assessments, Cyber Security Assessment, Risk Management
DeepLearning.AI
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Image Analysis, Deep Learning, Artificial Neural Networks, Applied Machine Learning, Data Ethics, Computer Vision, Artificial Intelligence, Unsupervised Learning
Skills you'll gain: SAS (Software), Data Import/Export, Data Validation, Data Access, Data Manipulation, Exploratory Data Analysis, Data Analysis, SQL, Data Presentation, Microsoft Excel, Descriptive Statistics
- Status: Free
Copenhagen Business School
Skills you'll gain: Culture Transformation, Talent Management, Crisis Management, Innovation, Business Leadership, Leadership, Organizational Leadership, Strategic Leadership, Team Leadership, Organizational Strategy, Business Transformation, Ethical Standards And Conduct, Communication, Governance, Change Management, Decision Making
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Foundational Finance for Strategic Decision Making:Â University of Michigan
- De-Mystifying Mindfulness:Â Universiteit Leiden
- Black-box and White-box Testing:Â University of Minnesota
- Corporate Finance Essentials:Â IESE Business School
- Data Visualization with Advanced Excel:Â PwC
- Addiction Treatment: Clinical Skills for Healthcare Providers:Â Yale University
- Modeling and Simulation with Simulink :Â MathWorks
- PostgreSQL for Everybody:Â University of Michigan
- Managing Cybersecurity:Â Kennesaw State University
- Build Basic Generative Adversarial Networks (GANs):Â DeepLearning.AI