Model-Based Testing of Probabilistic Systems

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-017-0440-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Based Testing of Distributed Time Critical Systems

2017English

Symbolic Model Based Testing for Component Oriented Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

International Journal of Embedded and Real-Time Communication Systems
Computer Science
2011English

A Probabilistic Corpus-Based Model of Syntactic Parallelism

Cognition
DevelopmentalEducational PsychologyLanguageCognitive PsychologyCognitive NeuroscienceLinguisticsExperimental
2008English

A Segment-Based Probabilistic Generative Model of Speech

English

Testing Automation Systems by Means of Model Checking

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy