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"
Universidad de los Andes
Skills you'll gain: Scope Management, Project Scoping, Feasibility Studies, Work Breakdown Structure, Project Estimation, Requirements Management, Cost Estimation, Project Management, Cost Management, Estimation, Project Management Life Cycle, Project Portfolio Management, Project Schedules, Milestones (Project Management), Strategic Planning, Crisis Management, Project Controls, Earned Value Management, Problem Management, Project Documentation
Skills you'll gain: Crisis Management, Data Ethics, Governance, Business Ethics, Strategic Leadership, Corporate Communications, Media Relations, Strategic Thinking, Communication Strategies, Business Leadership, Accountability, Ethical Standards And Conduct, Emerging Technologies, Organizational Leadership, Public Relations, Risk Management, Operational Risk, Scheduling, Learning Strategies, Test Planning
University of Colorado Boulder
Skills you'll gain: Vibrations, Mechanics, Torque (Physics), Linear Algebra, Numerical Analysis, Engineering Calculations, Simulations, Engineering Analysis, Mechanical Engineering, Trigonometry, Physics, Mathematical Modeling, Visualization (Computer Graphics), Differential Equations, Simulation and Simulation Software, 3D Modeling, Structural Analysis, Applied Mathematics, Advanced Mathematics, Systems Of Measurement
University at Buffalo
Skills you'll gain: Blockchain, Emerging Technologies, Distributed Computing, Cloud Platforms, Microsoft Azure, FinTech, Cloud Computing Architecture, Interoperability, Cryptography, Scalability, Data Storage, Information Privacy
LearnQuest
Skills you'll gain: Oracle SQL Developer, SQL, Oracle Databases, PL/SQL, Database Design, Database Theory, Database Management Systems, Database Administration, Relational Databases, Database Management, Databases, Database Software, Database Architecture and Administration, Database Development, Data Storage, Query Languages, Transaction Processing, Stored Procedure, Data Modeling, Network Architecture
- Status: Free
Universiteit Leiden
Skills you'll gain: Risk Management, Safety and Security, Threat Management, Crisis Management, Public Safety and National Security, Cybersecurity, Analysis, Complex Problem Solving, International Relations, Governance, Political Sciences
- Status: Free
Johns Hopkins University
Skills you'll gain: Systems Thinking, Health Systems, Policy Analysis, Public Policies, Simulations, Systems Analysis, Qualitative Research, Scenario Testing
Board Infinity
Skills you'll gain: C# (Programming Language), ASP.NET, .NET Framework, Object Oriented Programming (OOP), Docker (Software), Restful API, Azure DevOps, Model View Controller, JSON, Containerization, Microservices, Application Frameworks, Web Services, DevOps, Application Programming Interface (API), Computer Programming, Web Applications, Back-End Web Development, CI/CD, Programming Principles
University of Illinois Urbana-Champaign
Skills you'll gain: 3D Modeling, Emerging Technologies, Manufacturing and Production, Manufacturing Processes, Business Transformation, Industrial Design, Prototyping, Business Economics, Innovation
Skills you'll gain: PyTorch (Machine Learning Library), Keras (Neural Network Library), Data Manipulation, Deep Learning, Verification And Validation, Data Processing, Predictive Modeling, Applied Machine Learning, Data Import/Export, Computer Vision, Scientific Visualization, Artificial Neural Networks
- Status: Free
California Institute of the Arts
Skills you'll gain: Design Reviews, Design, Graphic Design, Design Elements And Principles, Visual Design, Aesthetics, Typography, Creative Design, Design Thinking
University of California San Diego
Skills you'll gain: Algorithms, Network Routing, Network Model, Graph Theory, Advanced Mathematics, Operations Research, Theoretical Computer Science, Network Analysis, Data Structures, Computational Thinking, Linear Algebra, Computer Science, Big Data, Computational Logic, Probability & Statistics
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Programa Especializado en Gerencia de Proyectos Complejos:Â Universidad de los Andes
- CertNexus Certified Ethical Emerging Technologist:Â CertNexus
- Spacecraft Dynamics and Control:Â University of Colorado Boulder
- Blockchain Platforms:Â University at Buffalo
- Oracle SQL Databases:Â LearnQuest
- Security & Safety Challenges in a Globalized World:Â Universiteit Leiden
- Systems Thinking In Public Health:Â Johns Hopkins University
- ASP.NET for Experienced Developers:Â Board Infinity
- The 3D Printing Revolution:Â University of Illinois Urbana-Champaign
- AI Capstone Project with Deep Learning :Â IBM