Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
Status: FreeÉcole Polytechnique Fédérale de Lausanne
Skills you'll gain: Angular, Geovisualization
University of Colorado Boulder
Skills you'll gain: Leadership and Management, Computer Programming
Georgia Institute of Technology
University of Colorado Boulder
Skills you'll gain: Operating Systems, Theoretical Computer Science, Computer Programming, Systems Design
University of Colorado Boulder
Arizona State University
EIT Digital
Skills you'll gain: Operating Systems, Systems Design, Theoretical Computer Science, Algorithms
Status: FreeEIT Digital
Skills you'll gain: Leadership and Management
The Hong Kong University of Science and Technology
Skills you'll gain: Algebra, Critical Thinking, Linear Algebra, Mathematical Theory & Analysis, Mathematics, Computational Thinking, Problem Solving, Differential Equations, Operational Analysis, Process Analysis, Data Science
Coursera Project Network
Skills you'll gain: Data Science, Deep Learning, Machine Learning, Python Programming, Regression
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Éléments de Géomatique: École Polytechnique Fédérale de Lausanne
- FPGA Capstone: Building FPGA Projects: University of Colorado Boulder
- Linear Circuits 1: DC Analysis: Georgia Institute of Technology
- Real-Time Embedded Systems Concepts and Practices: University of Colorado Boulder
- Real-Time Embedded Systems Theory and Analysis: University of Colorado Boulder
- Design of Digital Circuits with VHDL Programming: L&T EduTech
- AI Foundations: Prompt Engineering with ChatGPT: Arizona State University
- Development of Real-Time Systems: EIT Digital
- Quantitative Model Checking: EIT Digital
- Matrix Algebra for Engineers: The Hong Kong University of Science and Technology
