Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
University of Colorado Boulder
Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, Systems Engineering, Systems Design, Systems Analysis, Algorithms, Safety and Security
- Status: Free
Coursera Project Network
Skills you'll gain: OpenAI, ChatGPT, Cost Benefit Analysis, Business Process Automation, Generative AI, Application Programming Interface (API), Development Environment, Business Logic, Scalability, Artificial Intelligence, Business Solutions, TypeScript, Node.JS, Natural Language Processing, Complex Problem Solving, Application Security
- Status: Free
DeepLearning.AI
Skills you'll gain: Performance Tuning, Generative AI, MLOps (Machine Learning Operations), Scalability, Artificial Intelligence and Machine Learning (AI/ML), Performance Testing, Application Performance Management
Edureka
Skills you'll gain: Rust (Programming Language), Data Manipulation, System Programming, Data Structures, Performance Tuning, Data Management, Maintainability, Secure Coding, Debugging
- Status: Free
DeepLearning.AI
Skills you'll gain: Security Testing, Threat Modeling, Application Security, Continuous Monitoring, Security Engineering, Threat Detection, System Monitoring, Personally Identifiable Information, Generative AI, Data Security
Board Infinity
Skills you'll gain: Maintainability, Security Testing, Performance Testing, Software Testing, Code Review, Application Security, Software Quality (SQA/SQC), Testability, Regression Testing, Software Quality Assurance, Test Case, Test Tools, Browser Compatibility
Northeastern University
Skills you'll gain: Operations Research, Applied Mathematics, Mathematical Software, Linear Algebra, Mathematical Modeling, Algorithms, Business Modeling, Complex Problem Solving, Spreadsheet Software
Skills you'll gain: Data Structures, C++ (Programming Language), C and C++, Programming Principles, Algorithms, Theoretical Computer Science, Object Oriented Programming (OOP)
University of Colorado Boulder
Skills you'll gain: Web Content Accessibility Guidelines, Design Reviews, Interactive Design, User Interface (UI), Interaction Design, Usability, Software Design Patterns, Usability Testing, Technical Documentation, Conceptual Design, Design Strategies, Technical Writing
Skills you'll gain: Earned Value Management, Scheduling, Project Schedules, Project Performance, Project Controls, Project Management Software, Project Coordination, Project Portfolio Management, Change Control, User Accounts, Work Breakdown Structure, Resource Management, Administration, Data Management, Data Import/Export
Pontificia Universidad Católica de Chile
Skills you'll gain: Three-Phase, Electrical Engineering, Electronic Systems, Basic Electrical Systems, Power Electronics, Electronic Components, Engineering Analysis, Network Analysis, Simulation and Simulation Software
Pontificia Universidad Católica de Chile
Skills you'll gain: Electrical Engineering, Basic Electrical Systems, Electronic Systems, Network Analysis, Engineering Analysis, Differential Equations, Schematic Diagrams, Simulations, Simulation and Simulation Software
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
- Automated Reasoning with GPT Assistant API: ReAct Agents: Coursera Project Network
- Efficiently Serving LLMs: DeepLearning.AI
- Advanced Rust Programming: Edureka
- Quality and Safety for LLM Applications: DeepLearning.AI
- Static & Dynamic Analysis for Technical Testing: Board Infinity
- Industrial Optimization: Models & Linear Programming: Northeastern University
- C++: Linear Data Structures and Trees: Codio
- Description Design for Interactive Learning Resources: University of Colorado Boulder
- Oracle Primavera P6 PPM Professional Advanced Features: Packt