Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
- Status: Free
Eindhoven University of Technology
Skills you'll gain: Electronic Systems, Electronic Components, Electrical Engineering, Wireless Networks, System Design and Implementation, Design Specifications, Simulations
Coursera Project Network
Skills you'll gain: Finite Element Methods, Engineering Analysis, Simulation and Simulation Software, Simulations, Mechanical Design, Structural Analysis, Engineering Design Process
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Applied Mathematics, Artificial Intelligence and Machine Learning (AI/ML), Mathematical Modeling, Advanced Mathematics, Engineering Analysis, Mathematical Theory & Analysis, Geometry, Graph Theory, Applied Machine Learning, Markov Model
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: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics, Arithmetic, Computational Logic
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Reliability, Performance Tuning, Embedded Software, Hardware Architecture, Software Architecture, Verification And Validation, Software Design, Debugging, System Design and Implementation, Real Time Data, Performance Testing, Software Systems, System Programming, Safety Assurance, Linux, Systems Architecture, Systems Design, Microarchitecture, Operating Systems
- Status: Free
Universitat Autònoma de Barcelona
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Systems, System Design and Implementation, Application Specific Integrated Circuits, Digital Design, Computer Hardware, Simulations
The University of Sydney
Skills you'll gain: Linear Algebra, Markov Model, Geometry, Arithmetic, Algebra, General Mathematics, Advanced Mathematics, Probability, Mathematics and Mathematical Modeling, Mathematical Theory & Analysis, Applied Mathematics, Statistical Methods, Engineering Analysis
Skills you'll gain: Computer Architecture, Hardware Architecture, Computer Science, Programming Principles, System Programming, Data Structures, Computational Logic
UNSW Sydney (The University of New South Wales)
Skills you'll gain: Technical Writing, Requirements Analysis, Business Requirements, Functional Requirement, Writing, User Requirements Documents, System Requirements, Product Requirements, Systems Engineering
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Digital Communications, Image Analysis, Electrical Engineering, Electrical and Computer Engineering, Embedded Systems, Electronic Systems, Engineering Analysis, Programming Principles, Computer Engineering, Numerical Analysis, Advanced Mathematics, Algorithms, Linear Algebra, Systems Of Measurement, Mathematical Modeling, Calculus, Basic Electrical Systems, Python Programming, Applied Mathematics, Time Series Analysis and Forecasting
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Hardware Architecture, Software Systems, System Programming, Real Time Data, Linux, Microarchitecture, Operating Systems, System Design and Implementation, OS Process Management, C (Programming Language), Algorithms
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- RF and millimeter-Wave Circuit Design: Eindhoven University of Technology
- FEM - Linear, Nonlinear Analysis & Post-Processing: Coursera Project Network
- Linear Algebra from Elementary to Advanced: Johns Hopkins University
- VLSI CAD Part I: Logic: University of Illinois Urbana-Champaign
- Matrix Algebra for Engineers: The Hong Kong University of Science and Technology
- Real-Time Embedded Systems: University of Colorado Boulder
- Digital Systems: From Logic Gates to Processors: Universitat Autònoma de Barcelona
- Introduction to Linear Algebra: The University of Sydney
- z/Architecture Assembler Language Part 1: The Basics: IBM
- Requirements Writing: UNSW Sydney (The University of New South Wales)