Filter by
SubjectRequired
LanguageRequired
The language used throughout the course, in both instruction and assessments.
Learning ProductRequired
LevelRequired
DurationRequired
SkillsRequired
SubtitlesRequired
EducatorRequired
Results for "linear temporal logic specifications"
Columbia University
Skills you'll gain: Project Schedules, Project Risk Management, Scheduling, Risk Management, Construction Management, Timelines, Lean Methodologies, Architecture and Construction, Milestones (Project Management), Project Management, Project Planning, Project Management Software, Resource Allocation, Dependency Analysis
- 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
Multiple educators
Skills you'll gain: Dashboard, Pseudocode, Jupyter, Algorithms, Data Mining, Pandas (Python Package), Data Visualization Software, Correlation Analysis, Web Scraping, NumPy, R Programming, Probability & Statistics, Predictive Modeling, Big Data, Automation, Computer Programming Tools, GitHub, Data Analysis Software, Machine Learning Algorithms, Unsupervised Learning
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
Skills you'll gain: ChatGPT, Generative AI, Artificial Intelligence, Data Ethics, OpenAI, Artificial Intelligence and Machine Learning (AI/ML), Deep Learning, Artificial Neural Networks, Application Deployment, IBM Cloud, Governance, Machine Learning, Business Transformation, Ethical Standards And Conduct, Computer Vision, Self Service Technologies, Information Architecture, Business Process Automation, Software Development Tools, Image Analysis
Coursera Project Network
Skills you'll gain: Regression Analysis, NumPy, Applied Machine Learning, Supervised Learning, Machine Learning Algorithms, Machine Learning, Python Programming
Duke University
Skills you'll gain: Microsoft Excel, Excel Formulas, Probability Distribution, Business Risk Management, Predictive Modeling, Regression Analysis, Business Analytics, Statistical Methods, Forecasting, Data Analysis, Probability, Classification And Regression Tree (CART), Financial Analysis, Performance Metric
University of Colorado Boulder
Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Requirements Analysis, Verification And Validation, Linear Algebra, Applied Mathematics
- Status: Free
Skills you'll gain: Systems Analysis, Verification And Validation, Computational Logic, Data Modeling, Programming Principles, Software Design, Software Architecture, Theoretical Computer Science, Network Protocols, Algorithms
University of Colorado System
Skills you'll gain: Requirements Analysis, Security Requirements Analysis, Requirements Elicitation, Functional Requirement, Goal Setting, Unified Modeling Language, Meeting Facilitation, Conflict Management, Risk Analysis, User Story, Stakeholder Engagement, Negotiation
University of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, Model Based Systems Engineering, Systems Design, Theoretical Computer Science, Verification And Validation, System Requirements, Systems Architecture, Software Systems, Simulations, Automation, Systems Engineering, Mechanics, Requirements Analysis, Computer Systems, Systems Analysis, Safety Assurance, Linear Algebra, Differential Equations, Algorithms
Imperial College London
Skills you'll gain: Linear Algebra, Dimensionality Reduction, NumPy, Regression Analysis, Calculus, Applied Mathematics, Probability & Statistics, Data Transformation, Jupyter, Data Science, Advanced Mathematics, Statistics, Numerical Analysis, Geometry, Statistical Analysis, Machine Learning Methods, Artificial Neural Networks, Algorithms, Data Manipulation, Machine Learning
In summary, here are 10 of our most popular linear temporal logic specifications courses
- Construction Scheduling:Â Columbia University
- Single Variable Calculus:Â University of Pennsylvania
- Data Science Foundations:Â IBM
- Requirements Engineering: Secure Software Specifications:Â University of Colorado System
- AI Foundations for Everyone:Â IBM
- Linear Regression with Python:Â Coursera Project Network
- Mastering Data Analysis in Excel:Â Duke University
- Requirement Specifications for Autonomous Systems:Â University of Colorado Boulder
- System Validation (4): Modelling Software, Protocols, and other behaviour:Â EIT Digital
- Requirements Specifications: Goals and Conflict Analysis:Â University of Colorado System