Filter by
The language used throughout the course, in both instruction and assessments.
Results for "linear+temporal+logic+specifications"
University of Leeds
Skills you'll gain: Test Case, Software Testing, Software Quality Assurance, Quality Assurance, Test Planning, Verification And Validation, Acceptance Testing, Functional Testing, Usability Testing, Performance Testing, Software Development Life Cycle
- Status: Free
University of Pennsylvania
Skills you'll gain: Calculus, Numerical Analysis, Applied Mathematics, Engineering Calculations, Integral Calculus, Engineering Analysis, Differential Equations, Mathematical Theory & Analysis, Advanced Mathematics, Estimation, Derivatives
Arizona State University
Skills you'll gain: ChatGPT, OpenAI, Data Ethics, Generative AI, Artificial Intelligence, Creativity, Natural Language Processing, Research, Innovation
Johns Hopkins University
Skills you'll gain: Linear Algebra, Algebra, Mathematical Modeling, Engineering Analysis, Applied Mathematics, Mathematical Theory & Analysis, Geometry
- Status: Free
Tecnológico de Monterrey
Skills you'll gain: Arithmetic, Mathematics Education, Mathematical Modeling, General Mathematics, Calculus, Applied Mathematics, Algebra, Graphing
- Status: Free
Georgia Institute of Technology
Skills you'll gain: Electrical Engineering, Basic Electrical Systems, Power Electronics, Electronic Components, Engineering Analysis, Mathematical Modeling, Engineering Calculations
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, Unified Modeling Language, Risk Management Framework, System Requirements, Meeting Facilitation, Prototyping, Software Development Life Cycle, Technical Documentation, Conflict Management
University of Illinois Urbana-Champaign
Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Computer Architecture, Electrical and Computer Engineering, Engineering Design Process, Semiconductors, Network Routing, Computational Logic, Network Model, Data Structures, Algorithms, Graph Theory, Linear Algebra, Applied Mathematics, Mathematical Modeling, Calculus
- Status: Free
University of Amsterdam
Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics
- Status: Free
École Polytechnique Fédérale de Lausanne
Skills you'll gain: Spatial Data Analysis, Geospatial Mapping, Geospatial Information and Technology, Geographic Information Systems, Spatial Analysis, GIS Software, Global Positioning Systems, 3D Modeling, Visualization (Computer Graphics), Survey Creation, Systems Of Measurement
University of Colorado Boulder
Skills you'll gain: Embedded Systems, Real Time Data, Software Systems, System Programming, Operating Systems, System Design and Implementation, Linux, Mathematical Software, Verification And Validation, Algorithms
Johns Hopkins University
Skills you'll gain: Data Modeling, Graphing, Mathematical Modeling, Algebra, Trigonometry, Linear Algebra, Calculus, Advanced Mathematics, Applied Mathematics, Geometry
In summary, here are 10 of our most popular linear+temporal+logic+specifications courses
- Foundations of Software Testing and Validation: University of Leeds
- Single Variable Calculus: University of Pennsylvania
- AI Foundations: Prompt Engineering with ChatGPT: Arizona State University
- Linear Algebra: Linear Systems and Matrix Equations: Johns Hopkins University
- 1.- El Cálculo - Modelo Lineal: Tecnológico de Monterrey
- Linear Circuits 2: AC Analysis : Georgia Institute of Technology
- Requirements Engineering: Secure Software Specifications: University of Colorado System
- VLSI CAD Part II: Layout: University of Illinois Urbana-Champaign
- Logic for Economists: University of Amsterdam
- Éléments de Géomatique: École Polytechnique Fédérale de Lausanne