Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
Skills you'll gain: Applied Mathematics, Mathematical Modeling, Matlab, High Voltage, Electrical Engineering, Simulation and Simulation Software, Engineering Calculations, Environmental Issue, Basic Electrical Systems
- Status: Free
DeepLearning.AI
Skills you'll gain: OpenAI, Generative AI, Application Development, Application Frameworks, Natural Language Processing, Artificial Intelligence, Unstructured Data
Skills you'll gain: Electronic Systems, Application Specific Integrated Circuits, Hardware Design, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Components, Power Electronics, Simulation and Simulation Software, Verification And Validation, Software Installation
Skills you'll gain: Embedded Systems, Embedded Software, Machine Controls, Electronic Systems, Industrial Engineering, Internet Of Things, Automation, Vibrations, System Programming, C (Programming Language), Power Electronics, Peripheral Devices, Wireless Networks, Computer Architecture, Civil Engineering, Cybersecurity, Engineering, Cloud Computing, Structural Engineering, Maintenance, Repair, and Facility Services
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: System Design and Implementation, Digital Communications, Application Specific Integrated Circuits, Computer Architecture, Computer Systems, Computer Hardware, Algorithms, Simulations, Other Programming Languages
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Serial Peripheral Interface, Internet Of Things, Embedded Systems, Electronic Systems, Network Protocols, Digital Communications, Computer Architecture, Software Development Tools, System Design and Implementation, Simulation and Simulation Software, Verification And Validation
University of California, Irvine
Skills you'll gain: Test Planning, Embedded Software, Embedded Systems, Functional Requirement, Requirements Analysis, System Design and Implementation, Development Testing, Software Design, Prototyping, Systems Engineering, C and C++
Korea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning
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
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
Instituto Tecnológico de Aeronáutica
Skills you'll gain: Matlab, Numerical Analysis, Mathematical Modeling, Applied Mathematics, System Design and Implementation, Digital Design, Performance Testing, Simulations, Differential Equations, Systems Engineering, Computer Systems, Linear Algebra
University of Colorado Boulder
Skills you'll gain: Internet Of Things, Cloud Computing Architecture, Amazon Web Services, Application Security, Application Programming Interface (API), Microservices, Embedded Systems, Network Protocols, Cloud Technologies, Cybersecurity, Cloud Computing, Serial Peripheral Interface, Wireless Networks, Wide Area Networks
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Design of Transmission Line: Modelling and Performance: L&T EduTech
- LangChain for LLM Application Development: DeepLearning.AI
- VLSI Chip Design and Simulation with Electric VLSI EDA Tool: L&T EduTech
- VLSI chip design with CPS for Industrial Applications: L&T EduTech
- Sistemas Digitales: De las puertas lógicas al procesador: Universitat Autònoma de Barcelona
- FPGA Architecture Based System for Industrial Application : L&T EduTech
- Programming for the Internet of Things Project: University of California, Irvine
- Math for AI beginner part 1 Linear Algebra: Korea Advanced Institute of Science and Technology(KAIST)
- Development of Real-Time Systems: EIT Digital
- Power System Modelling and Fault Analysis: L&T EduTech