Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Storyboarding, Functional Requirement, Goal Setting, Software Documentation, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle, Technical Documentation
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
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
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
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Scala Programming, Scalability, Distributed Computing, Dataflow, Event-Driven Programming, System Design and Implementation, Software Architecture, Software Design Patterns, Software Development, Software Systems, Application Frameworks
- Status: Free
Pontificia Universidad Católica de Chile
Skills you'll gain: Computer Architecture, Computer Engineering, Hardware Architecture, System Design and Implementation, Technical Design, Simulations, Data Storage
- Status: Free
Pontificia Universidad Católica de Chile
Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Computational Logic, Computer-Aided Design, Electronic Hardware, Electrical and Computer Engineering, Semiconductors, Technical Design, Electronic Components, Simulation and Simulation Software
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Hardware Architecture, System Programming, Software Systems, Real Time Data, Linux, Operating Systems, System Design and Implementation, OS Process Management, C (Programming Language), Performance Tuning
Skills you'll gain: Embedded Systems, Internet Of Things, Vibrations, Civil Engineering, Electronic Systems, Structural Engineering, Maintenance, Repair, and Facility Services, Wireless Networks, Automation, Environmental Monitoring, System Monitoring, Continuous Monitoring, Computer Programming Tools, Electronic Components, Peripheral Devices
- Status: Free
Politecnico di Milano
Skills you'll gain: Computer Architecture, Hardware Architecture, Systems Design, Cloud Computing Architecture, Technical Design, Embedded Systems, System Design and Implementation, Software Design, Computer Hardware
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
University of Colorado Boulder
Skills you'll gain: Linear Algebra, Applied Mathematics, Data Science, Data Analysis, Statistical Methods, Algebra, Numerical Analysis
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Requirements Engineering: Secure Software Specifications: University of Colorado System
- Introduction to Linear Algebra: The University of Sydney
- Calculus through Data & Modeling: Precalculus Review: Johns Hopkins University
- VLSI CAD Part I: Logic: University of Illinois Urbana-Champaign
- Programming Reactive Systems: École Polytechnique Fédérale de Lausanne
- Electrónica Digital Bit a Bit: Diseñando en Verilog para FPGA: Pontificia Universidad Católica de Chile
- Electrónica Digital Bit a Bit: Fundamentos, Verilog y FPGA: Pontificia Universidad Católica de Chile
- Real-Time Embedded Systems Concepts and Practices: University of Colorado Boulder
- CPS Design with ARM Core using MicroPython for Industries: L&T EduTech
- FPGA computing systems: Partial Dynamic Reconfiguration: Politecnico di Milano