Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
University of Colorado Boulder
Skills you'll gain: Markov Model, Engineering Analysis, Mathematical Modeling, Computational Thinking, Simulations, Numerical Analysis, Applied Mathematics, Verification And Validation, Differential Equations, Predictive Modeling, Linear Algebra, Algorithms
Pontificia Universidad Católica de Chile
Skills you'll gain: Three-Phase, Electrical Engineering, Electronic Systems, Basic Electrical Systems, Power Electronics, Electronic Components, Engineering Analysis, Network Analysis, Simulation and Simulation Software
Skills you'll gain: Earned Value Management, Scheduling, Project Schedules, Project Performance, Project Controls, Project Management Software, Project Coordination, Project Portfolio Management, Change Control, User Accounts, Work Breakdown Structure, Resource Management, Administration, Data Management, Data Import/Export
University of Colorado Boulder
Skills you'll gain: Web Content Accessibility Guidelines, Design Reviews, Interactive Design, User Interface (UI), Interaction Design, Usability, Software Design Patterns, Usability Testing, Technical Documentation, Conceptual Design, Design Strategies, Technical Writing
In summary, here are 4 of our most popular linear+temporal+logic+specifications courses
- Engineering Genetic Circuits: Abstraction Methods: University of Colorado Boulder
- Circuitos con SPICE: Sistemas trifásicos y análisis avanzado: Pontificia Universidad Católica de Chile
- Oracle Primavera P6 PPM Professional Advanced Features: Packt
- Description Design for Interactive Learning Resources: University of Colorado Boulder