MoDeST — A Modelling and Description Language for Stochastic Timed Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-44804-7_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Stochastic Language Generation for Spoken Dialogue Systems

2000English

Generating Path Conditions for Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Modelling and Verification of Timed Interaction and Migration

English

Symbolic Model Checking for Simply-Timed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Stochastic Search in Data-Based Modelling of Dynamic Systems

2004English

A Task Description Language for Robot Control

English

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Formal Testing of Timed and Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Language Description and Use

Language Teaching
LinguisticsLanguage
1982English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy