Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
Duke University
Skills you'll gain: Data Pipelines, Rust (Programming Language), Restful API, Amazon Web Services, Data Structures, Data Processing, Application Programming Interface (API), Cloud Applications, Data Manipulation, Encryption, Algorithms, Command-Line Interface
University of Minnesota
Skills you'll gain: Gherkin (Scripting Language), Software Testing, Testability, Test Case, Behavior-Driven Development, Code Coverage, Acceptance Testing, Unit Testing, Functional Testing, Test Automation, Test Driven Development (TDD), Requirements Analysis, Functional Requirement
- Status: Free
Skills you'll gain: Generative AI, Application Development, Google Cloud Platform, Artificial Intelligence, Natural Language Processing, Performance Tuning
University of London
Skills you'll gain: C++ (Programming Language), Object Oriented Programming (OOP), Object Oriented Design, Programming Principles, Computer Programming, Data Structures, Debugging
Edureka
Skills you'll gain: Rust (Programming Language), Development Environment, Package and Software Management, Programming Principles, Software Design Patterns, System Programming, Debugging, Program Development, Secure Coding, Maintainability, Web Applications, Command-Line Interface, Data Structures
- Status: Free
Coursera Instructor Network
Skills you'll gain: Application Deployment, Application Development, Data Ethics, Artificial Intelligence, Generative AI, Development Environment, Applied Machine Learning, Deep Learning, Application Security
Coursera Project Network
Skills you'll gain: Microsoft Power Platform, Data Store, Database Development, Process Development, Standard Operating Procedure, Business Process, Microsoft 365, New Hire Orientations, Process Flow Diagrams
Skills you'll gain: Structural Engineering, Structural Analysis, Building Design, Architectural Engineering, Civil and Architectural Engineering, Computer-Aided Design, Failure Analysis, Engineering Calculations, 3D Modeling, Engineering Design Process, Engineering Software, Engineering Drawings, Technical Standard
University at Buffalo
Skills you'll gain: Model Based Systems Engineering, Systems Engineering, Product Engineering, Data Modeling, Manufacturing Processes, Product Lifecycle Management, Configuration Management, Verification And Validation, Simulation and Simulation Software, Digital Transformation, Computer-Aided Design
University of Colorado Boulder
Skills you'll gain: Mathematical Modeling, Model Based Systems Engineering, Systems Design, Systems Architecture, Software Systems, Simulations, Systems Engineering, Mechanics, Systems Analysis, Computer Systems, Safety Assurance, Differential Equations, Real Time Data
- Status: Free
Infosec
Skills you'll gain: Linux Administration, Linux, Git (Version Control System), Linux Commands, Network Troubleshooting, Unix, Bash (Scripting Language), Systems Administration, Scripting, Shell Script, User Accounts, System Configuration, Unix Shell, Package and Software Management, Network Administration, File Systems, System Support, Hardware Troubleshooting, File Management, Unix Commands
Board Infinity
Skills you'll gain: Test Tools, Test Planning, Configuration Management, Test Automation, Software Testing, Test Case, System Testing, Acceptance Testing, Release Management, Software Quality Assurance, Performance Testing, Issue Tracking, Risk Management Framework, Version Control
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- Data Engineering with Rust:Â Duke University
- Black-box and White-box Testing:Â University of Minnesota
- Introduction to Large Language Models - Bahasa Indonesia:Â Google Cloud
- Use C++ to build a Crypto Trading Platform: Final System:Â University of London
- Rust Programming Essentials:Â Edureka
- Building Production-Ready Apps with Large Language Models:Â Coursera Instructor Network
- Create Model-driven Power App for Rental Company:Â Coursera Project Network
- Modelling, Analysis and Design of Steel Buildings:Â L&T EduTech
- MBSE: Model-Based Systems Engineering :Â University at Buffalo
- Modeling of Autonomous Systems:Â University of Colorado Boulder