Results for "infinite-state stochastic model checking methods"
Status: NewStatus: Free TrialUniversity 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, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning
Status: NewStatus: Free TrialBoard Infinity
Skills you'll gain: Test Automation, Performance Testing, Software Quality Assurance, White-Box Testing, API Testing, Test Script Development, Debugging, Software Development Methodologies, User Acceptance Testing (UAT), JUnit, Maintainability, Development Testing, Selenium (Software), Scalability, Automation, Software Technical Review, DevOps, Regression Testing, Test Execution Engine, Security Testing
Status: Free TrialArizona State University
Skills you'll gain: Oral Comprehension, Learning Management Systems, Education Software and Technology, Digital pedagogy, Oral Expression, Teaching, Literacy, Technology Strategies, Grammar, English Language, Language Competency, Vocabulary, Design Elements And Principles, Design Strategies, Language Learning, digital literacy, Innovation, Critical Thinking
Status: NewStatus: PreviewUniversity of Colorado Boulder
Skills you'll gain: Graph Theory, Model Evaluation, Arithmetic
Status: NewStatus: PreviewFractal Analytics
Skills you'll gain: Model Context Protocol, AI Security, Threat Modeling, AI Workflows, Secure Coding, LLM Application, Enterprise Architecture, Generative AI Agents, Security Controls, Interoperability, Agentic systems, Generative AI
Status: NewSkills you'll gain: LLM Application, MLOps (Machine Learning Operations), Large Language Modeling, Data Processing, Model Deployment, AI Workflows, Prompt Engineering, Responsible AI, Generative AI, Scalability, Artificial Intelligence and Machine Learning (AI/ML), Model Evaluation, Data Transformation, Continuous Monitoring, Feature Engineering, Natural Language Processing, Artificial Intelligence, Data Collection
What brings you to Coursera today?
Status: NewArizona State University
Skills you'll gain: Bayesian Statistics, Statistical Modeling, Bayesian Network, Statistical Methods, Statistical Analysis, Data Analysis, R Programming, Data-Driven Decision-Making, Statistical Inference, Markov Model, Simulations, Probability Distribution
Status: NewStatus: Free TrialSkills you'll gain: Model Deployment, MLOps (Machine Learning Operations), AI Security, Cloud Deployment, DevOps, CI/CD, Artificial Intelligence and Machine Learning (AI/ML), Data-Driven Decision-Making
Status: Free TrialSkills you'll gain: Generative AI, Large Language Modeling, Natural Language Processing, Model Evaluation, Reinforcement Learning, Machine Learning
Status: Free TrialUniversity of Colorado Boulder
Skills you'll gain: Computational Logic, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Verification And Validation, Control Systems, Automation, Network Model, Systems Analysis, Mechanical Engineering, Systems Design, Model Evaluation, Real-Time Operating Systems, Simulations, Robotics, Differential Equations, Safety Assurance, Artificial Intelligence, Algorithms
Status: NewStatus: Free TrialSkills you'll gain: MLOps (Machine Learning Operations), Responsible AI, CI/CD, Model Deployment, Continuous Integration, Continuous Delivery, Continuous Deployment, Cloud Platforms, Model Evaluation, Automation, Data Governance, Data Pipelines, Performance Tuning, Continuous Monitoring, Performance Analysis
28DIGITAL
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution
What brings you to Coursera today?
In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses
- Fundamentals of Model Checking:Â University of Colorado Boulder
- Software Quality Assurance and Testing:Â Board Infinity
- Arizona State University TESOL:Â Arizona State University
- Model Checking with SAT and SMT :Â University of Colorado Boulder
- Model Context Protocol (MCP) Mastery:Â Fractal Analytics
- Essential Guide to LLMOps:Â Packt
- Bayesian Statistical Concepts and Methods:Â Arizona State University
- Secure AI Model Deployments & Lifecycles:Â Coursera
- Generative AI Advance Fine-Tuning for LLMs :Â IBM
- Foundations of Autonomous Systems:Â University of Colorado Boulder
