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: Test Tools, Test Planning, Configuration Management, Software Testing, Test Automation, Test Case, Integration Testing, Code Review, Software Technical Review, Software Quality Assurance, Software Development Life Cycle, System Testing, Acceptance Testing, Quality Assurance, Maintainability, Verification And Validation, Regression Testing, Release Management, Functional Testing, Usability Testing
Icahn School of Medicine at Mount Sinai
Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Mathematical Modeling, Science and Research, Analysis, Life Sciences, Scientific Methods, Differential Equations, Computational Thinking, Systems Analysis, Model Based Systems Engineering, Applied Mathematics, Data Mining, Network Analysis, Medical Science and Research, Systems Engineering, Data Integration
University of Michigan
Skills you'll gain: JSON, jQuery, Javascript and jQuery, Ajax, Debugging, Web Development Tools, Event-Driven Programming, Javascript, PHP (Scripting Language), Object Oriented Programming (OOP), Data Import/Export, Web Applications
New York University
Skills you'll gain: Supervised Learning, Machine Learning Methods, Reinforcement Learning, Applied Machine Learning, Machine Learning Algorithms, Machine Learning, Statistical Methods, Dimensionality Reduction, Unsupervised Learning, Artificial Neural Networks, Statistical Modeling, Decision Tree Learning, Predictive Modeling, Financial Trading, Financial Market, Derivatives, Scikit Learn (Machine Learning Library), Markov Model, Regression Analysis, Finance
Skills you'll gain: Data Import/Export, C++ (Programming Language), Object Oriented Programming (OOP), Data Validation, Object Oriented Design, Programming Principles, Computer Programming, Data Integrity, Data Structures, File Management, Integrated Development Environments, Software Documentation, Computer Science, Pseudocode, Data Storage
Multiple educators
Skills you'll gain: Tensorflow, Keras (Neural Network Library), Machine Learning, Google Cloud Platform, Machine Learning Algorithms, Applied Machine Learning, Financial Trading, Reinforcement Learning, Supervised Learning, Data Pipelines, Time Series Analysis and Forecasting, Statistical Machine Learning, Technical Analysis, Deep Learning, Portfolio Management, Securities Trading, Artificial Intelligence and Machine Learning (AI/ML), Market Data, Financial Market, Artificial Neural Networks
LearnQuest
Skills you'll gain: Spring Framework, Microservices, JUnit, Model View Controller, Restful API, Application Frameworks, Spring Boot, Software Architecture, API Gateway, Web Services, Object-Relational Mapping, Transaction Processing, Java, Service Oriented Architecture, JSON, YAML, Load Balancing, Databases, Cloud Computing, Integration Testing
University of California, Irvine
Skills you'll gain: Swift Programming, Objective-C (Programming Language), iOS Development, Core Data (Software), Apple iOS, Apple Xcode, Model View Controller, JSON, User Interface (UI) Design, UI Components, User Interface and User Experience (UI/UX) Design, OAuth, Responsive Web Design, Prototyping, Human Computer Interaction, UI/UX Strategy, Usability Testing, Authentications, Data Mapping, Mobile Development
Coursera Project Network
Skills you'll gain: Portfolio Management, Financial Modeling, Correlation Analysis, Investment Management, Financial Analysis, Mathematical Modeling, Risk Modeling, Equities, Variance Analysis
Skills you'll gain: Keras (Neural Network Library), Reinforcement Learning, Unsupervised Learning, Deep Learning, Tensorflow, Generative AI, Artificial Neural Networks, Artificial Intelligence, Time Series Analysis and Forecasting, Computer Vision, Natural Language Processing, Performance Tuning
- Status: Free
University of Pennsylvania
Skills you'll gain: Design Thinking, Performance Measurement, Human Centered Design, Philanthropy, Innovation, Entrepreneurship, Business Modeling, Strategic Thinking, Community Development, Project Design, Program Evaluation, Business Strategy, Organizational Structure, Needs Assessment, Growth Strategies, Market Opportunities, Competitive Analysis, Value Propositions, Decision Making
Universidad Austral
Skills you'll gain: Software Documentation, Object Oriented Design, Unified Modeling Language, Relational Databases, Object-Relational Mapping, Software Design, Test Driven Development (TDD), Database Management, Unit Testing, Database Design, SQL, Debugging, Data Structures, Python Programming, JSON, File Management, Scripting, Programming Principles, Software Installation, Development Environment
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- ISTQB Foundation Level Software Testing Certification Prep:Â Board Infinity
- Systems Biology and Biotechnology:Â Icahn School of Medicine at Mount Sinai
- JavaScript, jQuery, and JSON:Â University of Michigan
- Machine Learning and Reinforcement Learning in Finance:Â New York University
- Programming in C++: A Hands-on Introduction:Â Codio
- Machine Learning for Trading:Â New York Institute of Finance
- Spring Framework:Â LearnQuest
- iOS Development for Creative Entrepreneurs:Â University of California, Irvine
- Portfolio Optimization using Markowitz Model:Â Coursera Project Network
- Deep Learning with Keras and Tensorflow:Â IBM