Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
Skills you'll gain: Embedded Systems, Machine Controls, Electronic Systems, Automation, Power Electronics, Engineering, Electronic Components, Basic Electrical Systems, Mechanical Design, Mechanical Engineering, Hydraulics, Thermal Management, Matlab, Real Time Data
- Status: Free
Skills you'll gain: Verification And Validation, Systems Analysis, Mathematical Modeling, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Human Computer Interaction, Prototyping, User Interface (UI) Design, User Interface and User Experience (UI/UX) Design, Usability, HTML and CSS, Internet Of Things, jQuery, Mobile Development, Wireless Networks, Artificial Intelligence and Machine Learning (AI/ML), Operating Systems
University of Colorado Boulder
Skills you'll gain: Internet Of Things, API Design, Amazon Web Services, Application Programming Interface (API), Network Protocols, Microservices, Cloud Applications, Cloud Platforms, Embedded Systems, Serverless Computing, Cybersecurity, Cloud Computing, Software Development, Wireless Networks
- Status: Free
Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Data Modeling
Arizona State University
Skills you'll gain: ChatGPT, OpenAI, Data Ethics, Generative AI, Artificial Intelligence, Creativity, Natural Language Processing, Research, Innovation
EIT Digital
Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Verification And Validation, Algorithms, Data Structures
Skills you'll gain: Embedded Systems, Industrial Engineering, Internet Of Things, C (Programming Language), Electronic Systems, Peripheral Devices, Wireless Networks, Computer Architecture, Cybersecurity, Cloud Computing, Computer Hardware, Computer Programming, Real Time Data
- Status: Free
Skills you'll gain: Systems Analysis, Verification And Validation, Computational Logic, Data Modeling, Programming Principles, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
- Status: Free
Skills you'll gain: Computational Thinking, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Performance Testing, Embedded Systems, Graph Theory, Algorithms
EIT Digital
Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Computational Thinking, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation, Arithmetic
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- CPS Design for Mechatronics, Healthcare, EV & Robotics: L&T EduTech
- System Validation (2): Model process behaviour: EIT Digital
- Rapid Prototyping of Embedded Interface Designs: University of Colorado Boulder
- M2M & IoT Interface Design & Protocols for Embedded Systems: University of Colorado Boulder
- System Validation (3): Requirements by modal formulas: EIT Digital
- AI Foundations: Prompt Engineering with ChatGPT: Arizona State University
- Automated Reasoning: Symbolic Model Checking: EIT Digital
- Design of CPS with ARM processor using Embedded C: L&T EduTech
- System Validation (4): Modelling Software, Protocols, and other behaviour: EIT Digital
- Quantitative Formal Modeling and Worst-Case Performance Analysis: EIT Digital