Results for "regular and omega-regular specifications"
Coursera
Skills you'll gain: Embedded Software, Real-Time Operating Systems, Embedded Systems, Software Architecture, Pseudocode, Systems Architecture, Software Systems, Hardware Architecture, Computer Hardware, System Programming, Computer Architecture, Software Design, Cross Platform Development, Application Design, Systems Design, Software Design Patterns, Internet Of Things, Systems Integration, Maintainability, Peripheral Devices
University of Colorado System
Skills you'll gain: Requirements Elicitation, Software Design Documents, Requirements Analysis, Security Requirements Analysis, Mockups, Interviewing Skills, User Requirements Documents, Data Flow Diagrams (DFDs), Storyboarding, Requirements Management, Functional Requirement, Goal Setting, Software Development Methodologies, Software Documentation, Diagram Design, Agile Methodology, Business Requirements, Unified Modeling Language, Risk Management Framework, System Requirements
University of Colorado Boulder
Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Pseudocode, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Logical Reasoning
Birla Institute of Technology & Science, Pilani
Skills you'll gain: Data Analysis, Computational Logic, Engineering Calculations, Trigonometry, Linear Algebra, Engineering Analysis, Logical Reasoning, Deductive Reasoning, Probability & Statistics, Statistical Analysis, Calculus, Analytical Skills, Bayesian Statistics, Differential Equations, Programming Principles, Statistical Inference, Theoretical Computer Science, Numerical Analysis, Descriptive Analytics, Applied Mathematics
Johns Hopkins University
Skills you'll gain: Calculus, Applied Mathematics, Trigonometry, Mathematical Modeling, Algebra, Derivatives, Geometry
Skills you'll gain: Hardware Design, Field-Programmable Gate Array (FPGA), Data Structures, Electronic Hardware, Systems Design, Application Specific Integrated Circuits, Computer Engineering, Verification And Validation, Embedded Systems, Test Case, Software Design, Test Data, Test Engineering, Debugging, Data Synthesis, Analysis, Design, Process Optimization
What brings you to Coursera today?
Skills you'll gain: Telecommunications, Electronics Engineering, Schematic Diagrams, Electrical Engineering, Communication Systems, electromagnetics, Simulation and Simulation Software, Simulations, Verification And Validation
Coursera
Skills you'll gain: Legal Risk, Contract Management, Contract Review, Risk Mitigation, Contract Compliance, Procurement, Vendor Contracts, Purchasing, Contract Negotiation, Strategic Sourcing, Decision Making, Verification And Validation
University of Pennsylvania
Skills you'll gain: Labor Law, Contract Review, Arbitration, Contract Negotiation, Law, Regulation, and Compliance, Contract Compliance, Workers Compensation, Legal Risk, Compensation Management, Case Law
University of Colorado System
Skills you'll gain: Data Encryption Standard, Advanced Encryption Standard (AES), Cryptography, Encryption, Brute-force attacks, Algorithms
L&T EduTech
Skills you'll gain: Engineering Drawings, Mechanical Design, Blueprint Reading, Process Flow Diagrams, Failure Analysis, Thermal Management, Technical Standard, Engineering Calculations, Vibrations, Simulation and Simulation Software, Materials science
University of Colorado Boulder
Skills you'll gain: Computational Logic, System Requirements, Functional Requirement, Theoretical Computer Science, Systems Analysis, Verification And Validation, Control Systems, Linear Algebra, Differential Equations, Applied Mathematics
In summary, here are 10 of our most popular regular and omega-regular specifications courses
- Embedded Firmware Engineering: Coursera
- Requirements Engineering: Secure Software Specifications: University of Colorado System
- Fundamentals of Model Checking: University of Colorado Boulder
- Mathematics for Engineering: Birla Institute of Technology & Science, Pilani
- Calculus through Data & Modeling: Differentiation Rules: Johns Hopkins University
- SystemVerilog Tutorials: Hardware Design & Verification: Coursera
- RF/Microwave Design - RF Simulation Tools (ADS): Coursera
- Contract Types and Terms: Coursera
- Employment Contracts: University of Pennsylvania
- Symmetric Cryptography: University of Colorado System
