Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Mathematics, Mathematical Theory & Analysis, Algebra, Linear Algebra, Plot (Graphics), Algorithms, Applied Mathematics, Critical Thinking, Calculus
Status: FreePontificia Universidad Católica de Chile
Arizona State University
University of Colorado System
Skills you'll gain: Software Engineering, Business Analysis, Agile Software Development, Communication, Business Process Management, Customer Analysis, Design and Product, Process Analysis, Product Management, Software Engineering Tools, Product Development, Systems Design, Planning, Project Management, Software Architecture, Extract, Transform, Load, Interactive Data Visualization, Software-Defined Networking
Skills you'll gain: Reinforcement Learning
Status: Free
Howard University
Skills you'll gain: Mathematics, Algebra
Johns Hopkins University
Skills you'll gain: Algebra, Mathematics, Calculus, Linear Algebra, Mathematical Theory & Analysis
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Cloud Computing, Computer Programming
EIT Digital
Skills you'll gain: Leadership and Management
Status: FreeCoursera Instructor Network
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Digital Signal Processing: École Polytechnique Fédérale de Lausanne
- Electrónica Digital Bit a Bit: Fundamentos, Verilog y FPGA: Pontificia Universidad Católica de Chile
- AI Foundations: Prompt Engineering with ChatGPT:Â Arizona State University
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- Generative AI Advance Fine-Tuning for LLMs :Â IBM
- System Validation (3): Requirements by modal formulas:Â EIT Digital
- Linear Algebra for Data Science Using Python:Â Howard University
- Calculus through Data & Modeling: Precalculus Review:Â Johns Hopkins University
- Programming Reactive Systems: École Polytechnique Fédérale de Lausanne
- Automated Reasoning: Symbolic Model Checking:Â EIT Digital
