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"
Coursera Project Network
Skills you'll gain: Business Logic, Application Deployment, Decision Support Systems, Business Process Automation, Test Case, Systems Development, Verification And Validation, Automation, Program Development, Computer Programming, Docker (Software), Process Flow Diagrams, Complex Problem Solving, Application Programming Interface (API)
Dartmouth College
Skills you'll gain: Scientific Methods, Science and Research, Research, Mechanics, Anthropology, Human Factors, Spatial Data Analysis, Torque (Physics), Investigation, Life Sciences, Scientific Visualization, Timelines, 3D Modeling, Infographics
- Status: Free
Coursera Instructor Network
Skills you'll gain: OpenAI, Generative AI, Technical Communication, MLOps (Machine Learning Operations), Artificial Intelligence, Natural Language Processing, Performance Tuning, Applied Machine Learning
University of Illinois Urbana-Champaign
Skills you'll gain: Wealth Management, Financial Services, Compliance Training, FinTech, Financial Regulation, Artificial Intelligence, Financial Planning, Investment Management, Artificial Intelligence and Machine Learning (AI/ML), Business Ethics, Automation, Emerging Technologies, Customer Relationship Management
Johns Hopkins University
Skills you'll gain: Data Science, Data Management, Data Modeling, Organizational Effectiveness, Data-Driven Decision-Making, Data Analysis, Project Design, Software Engineering, Machine Learning, Predictive Modeling, Statistical Inference, Presentations
Skills you'll gain: ASP.NET, .NET Framework, Model View Controller, Version Control, Microsoft Visual Studio, GitHub, Microsoft Development Tools, Cross Platform Development, Development Environment, C# (Programming Language), Bootstrap (Front-End Framework), Object-Relational Mapping, Authentications, Database Development, Application Frameworks, Database Design, Database Management, Databases, Software Development Tools, Web Design and Development
University of Colorado Boulder
Skills you'll gain: Crisis Management, Strategic Communication, Contingency Planning, Risk Management, Business Continuity Planning, Public Relations, Stakeholder Communications, Internal Communications, Stakeholder Management, Communication
- Status: Free
Coursera Instructor Network
Skills you'll gain: Generative AI, Data Ethics, Innovation, Data Integration, Data Modeling, Data Quality, Data Science, Data-Driven Decision-Making, Unstructured Data, Artificial Intelligence and Machine Learning (AI/ML), Automation, Predictive Modeling
Johns Hopkins University
Skills you'll gain: Behavioral Economics, Analytics, Network Analysis, Media and Communications, Socioeconomics, Social Sciences, Sociology, Artificial Intelligence, Systems Thinking, Research, Human Computer Interaction, Ethical Standards And Conduct, Data Collection, Game Theory, Psychology
University of Maryland, College Park
Skills you'll gain: Program Management, Stakeholder Management, Change Management, Stakeholder Communications, Strategic Leadership, Product Roadmaps, Leadership, Organizational Change, Organizational Strategy, Project Management Office (PMO), Project Management, Customer Engagement, Innovation, Digital Transformation, Decision Making
Skills you'll gain: Generative AI, PyTorch (Machine Learning Library), Artificial Neural Networks, Deep Learning, Tensorflow, Keras (Neural Network Library), Computer Vision, Jupyter, Machine Learning, Matplotlib, NumPy
Coursera Project Network
Skills you'll gain: Program Management, Project Design, Project Scoping, Program Evaluation, Program Implementation, Project Management Life Cycle, Process Flow Diagrams, Agile Methodology, Productivity Software
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Automation with Drools: Knowledge-Based Decision Systems:Â Coursera Project Network
- Mechanics & Origins of Bipedalism:Â Dartmouth College
- OpenAI: Consistent Response Strategies:Â Coursera Instructor Network
- Artificial Intelligence in Wealth Management :Â University of Illinois Urbana-Champaign
- Ein Crashkurs in Datenwissenschaft:Â Johns Hopkins University
- ASP.NET Core MVC - Cross-Platform Development:Â Packt
- Introduction to Crisis Management and Crisis Communication:Â University of Colorado Boulder
- GenAI for Data Science Teams:Â Coursera Instructor Network
- Introduction to Social Computing:Â Johns Hopkins University
- Program Management Fundamentals: Driving Strategic Change:Â University of Maryland, College Park