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 Virginia
Skills you'll gain: Plan Execution, Organizational Strategy, Business Strategy, Data-Driven Decision-Making, Business Planning, Strategic Leadership, Strategic Decision-Making, Strategic Thinking, Governance, Analysis, Business Analysis, Competitive Analysis
University of California, Davis
Skills you'll gain: Coaching, Employee Coaching, People Management, Leadership and Management, Leadership Development, People Development, Leadership, Mentorship, Training and Development, Critical Thinking, Decision Making, Self-Awareness, Communication
University of Michigan
Skills you'll gain: Stored Procedure, Database Design, SQL, Relational Databases, NoSQL, PostgreSQL, Database Architecture and Administration, Database Systems, Database Theory, Database Management, Data Modeling, Databases, JSON, Database Development, Scalability, Database Management Systems, Distributed Computing, Cloud Applications, Text Mining, Query Languages
L&T EduTech
Skills you'll gain: Electrical Substation, Three-Phase, High Voltage, Wiring Diagram, Power Electronics, Basic Electrical Systems, Electrical Engineering, Systems Analysis, Engineering Analysis, Mathematical Modeling, Simulation and Simulation Software, Systems Of Measurement, Network Analysis, Reliability
University of Illinois Urbana-Champaign
Skills you'll gain: Value Propositions, Entrepreneurship, Market Opportunities, Business Strategy, Market Analysis, Team Building, New Business Development, Business Modeling, Strategic Thinking, Business Development, Customer Analysis, Leadership
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
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
University of Colorado System
Skills you'll gain: Windows Servers, Computer Security, Linux Administration, Disaster Recovery, Authorization (Computing), Linux, Linux Servers, Microsoft Windows, Authentications, Business Continuity Planning, OSI Models, User Accounts, Group Policy, Security Management, System Monitoring, System Implementation, Systems Administration, Virtualization, Network Security, Linux Commands
University of Pennsylvania
Skills you'll gain: Environmental Social And Corporate Governance (ESG), Risk Analysis, Risk Management, Business Risk Management, Stakeholder Management, Corporate Sustainability, Governance, Investment Management, Diversity and Inclusion, Corporate Strategy, Waste Minimization, Investments, Business Ethics, Corporate Communications, Financial Data, Crisis Management, Insurance, Return On Investment, Environmental Resource Management, Portfolio Management
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
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
- Status: Free
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Self-Awareness, Personal Development, Growth Mindedness, Positivity, Lifelong Learning, Optimism, Goal Setting, Resilience, Emotional Intelligence, Mental Health, Stress Management, Creativity, Relationship Building, Communication, Psychology, Persistence, Critical Thinking, Decision Making
Searches related to model checking
In summary, here are 10 of our most popular model checking courses
- Strategic Planning and Execution:Â University of Virginia
- Managing as a Coach:Â University of California, Davis
- PostgreSQL for Everybody:Â University of Michigan
- Power System Modelling and Fault Analysis:Â L&T EduTech
- Entrepreneurship I: Laying the Foundation:Â University of Illinois Urbana-Champaign
- Programming in C++: A Hands-on Introduction:Â Codio
- JavaScript, jQuery, and JSON:Â University of Michigan
- Computer Security and Systems Management:Â University of Colorado System
- The Materiality of ESG Factors:Â University of Pennsylvania
- Systems Biology and Biotechnology:Â Icahn School of Medicine at Mount Sinai