Filter by
The language used throughout the course, in both instruction and assessments.
Results for "model+checking"
- Status: Free
National Taiwan University
Skills you'll gain: Autodesk Revit, Building Information Modeling, Autodesk, AutoCAD, Construction Estimating, Simulation and Simulation Software, 3D Modeling, Construction Management, Cost Estimation
Skills you'll gain: Simulation and Simulation Software, Engineering Design Process, Mathematical Modeling, Engineering Analysis, Systems Analysis, Engineering, Test Data, Systems Design, Control Panels, Process Control, Matlab
University of Colorado Boulder
Skills you'll gain: Verification And Validation, System Design and Implementation, Software Design, Technical Design, Programming Principles, Development Testing, Test Case, Simulations, Functional Testing, Computer Programming, Debugging
University of Minnesota
Skills you'll gain: Open Web Application Security Project (OWASP), Software Testing, Selenium (Software), Gherkin (Scripting Language), JUnit, Verification And Validation, Test Automation, Unit Testing, Security Testing, Regression Testing, Test Case, Software Development Tools, Testability, Behavior-Driven Development, Code Coverage, Performance Testing, Development Testing, Software Engineering Tools, Test Planning, Acceptance Testing
Johns Hopkins University
Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, Graphing, Probability & Statistics, Calculus
Skills you'll gain: Embedded Software, C (Programming Language), Embedded Systems, Debugging, Peripheral Devices, Integrated Development Environments, Computer Programming Tools, Development Environment, System Programming, Program Development, Hardware Architecture, Systems Architecture, Data Structures, Microarchitecture, Programming Principles, Performance Tuning, Computer Architecture, C++ (Programming Language), Data Storage, Computer Programming
Skills you'll gain: MySQL Workbench, Extract, Transform, Load, Data Modeling, Database Design, MySQL, Data Warehousing, Database Management, Databases, Database Architecture and Administration, Tableau Software, Analytics, SQL, Data Analysis, Data Visualization Software
University of Illinois Urbana-Champaign
Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Hardware Design, Data Structures, Verification And Validation, Computer-Aided Design, Computer Architecture, Algorithms, Electrical and Computer Engineering, Programming Principles
The Hong Kong University of Science and Technology
Skills you'll gain: Requirements Analysis, Unified Modeling Language, Object Oriented Design, Functional Requirement, Data Modeling, Systems Design, Object Oriented Programming (OOP), Systems Development Life Cycle, System Requirements, Software Development, Software Engineering, Software Systems
- Status: Free
DeepLearning.AI
Skills you'll gain: Generative AI, Performance Tuning, Data Processing, Applied Machine Learning, Deep Learning, Machine Learning Methods, Artificial Intelligence and Machine Learning (AI/ML)
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
- Status: Free
Tecnológico de Monterrey
Skills you'll gain: Arithmetic, Mathematics Education, Mathematical Modeling, General Mathematics, Calculus, Applied Mathematics, Algebra, Graphing
Searches related to model+checking
In summary, here are 10 of our most popular model+checking courses
- BIM Application for Engineers:Â National Taiwan University
- Modeling and Simulation with Simulink :Â MathWorks
- Hardware Description Languages for FPGA Design:Â University of Colorado Boulder
- Software Testing and Automation:Â University of Minnesota
- Algebra: Elementary to Advanced - Equations & Inequalities:Â Johns Hopkins University
- Embedded Software Development with C:Â EDUCBA
- Advanced Data Modeling:Â Meta
- VLSI CAD Part I: Logic:Â University of Illinois Urbana-Champaign
- Software Engineering: Modeling Software Systems using UML:Â The Hong Kong University of Science and Technology
- Finetuning Large Language Models:Â DeepLearning.AI