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: Embedded Software, System Programming, Software Development, Integrated Development Environments, Functional Design, Verification And Validation, Embedded Systems, Computer Architecture, Software Development Tools, System Design and Implementation, Hardware Architecture, Debugging, Simulations, System Configuration
University of Colorado Boulder
Skills you'll gain: Reliability, Performance Tuning, Embedded Software, Embedded Systems, Debugging, Performance Testing, System Programming, Safety Assurance, Systems Architecture, Systems Design, Hardware Architecture, Software Design, Real Time Data, Testability, Failure Analysis, Data Integrity, Linux
University of Colorado System
Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Functional Requirement, Goal Setting, Unified Modeling Language, Meeting Facilitation, Conflict Management, Risk Analysis, User Story, Stakeholder Engagement, Negotiation
EIT Digital
Skills you'll gain: Embedded Systems, Computer Programming, C (Programming Language), Real Time Data, System Design and Implementation, System Software, Operating Systems, System Requirements, Computer Architecture, Verification And Validation, Algorithms
University of Colorado Boulder
Skills you'll gain: Mathematical Modeling, Systems Design, Systems Architecture, Software Systems, Mechanical Engineering, Computer Systems, Systems Analysis, Systems Engineering, Embedded Systems, Differential Equations, Electrical Engineering
- Status: Free
University of California, Santa Cruz
Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Embedded Systems, Computational Logic, Basic Electrical Systems, Digital Communications, Differential Equations, Estimation, Algorithms, Linear Algebra
University of Colorado Boulder
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Electronic Systems, System Design and Implementation, Computer Architecture, Embedded Systems, Development Environment, Software Development, Integrated Development Environments, Computer-Aided Design, Engineering Documentation
University of Colorado System
Skills you'll gain: Software Design Documents, Functional Requirement, Software Documentation, Unified Modeling Language, Requirements Analysis, System Requirements, Technical Documentation, Data Modeling, Software Visualization, Dataflow
University of Leeds
Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Embedded Software, Software Design, Linux, Linux Administration, System Design and Implementation, Real Time Data, Software Systems, OS Process Management, Operating Systems, Service Design, Systems Analysis, Theoretical Computer Science, Verification And Validation, Mathematical Software, Algorithms, Debugging
- Status: Free
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, System Software, Software Architecture, System Design and Implementation
- Status: Free
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, System Testing, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Software Testing, Statistical Modeling, Probability, Algorithms, Probability Distribution
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- FPGA Softcore Processors and IP Acquisition: University of Colorado Boulder
- Real-Time Mission-Critical Systems Design: University of Colorado Boulder
- Requirements Specifications: Goals and Conflict Analysis: University of Colorado System
- Development of Real-Time Systems: EIT Digital
- Modeling of Autonomous Systems: University of Colorado Boulder
- Cyber-Physical Systems: Modeling and Simulation: University of California, Santa Cruz
- FPGA Capstone: Building FPGA Projects: University of Colorado Boulder
- SRS Documents: Requirements and Diagrammatic Notations: University of Colorado System
- An Introduction to Logic for Computer Science: University of Leeds
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder