A Scenario-Based Validation Language for ASMs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-87603-8_7
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Scenario-Based Validation of Requirements for Context-Aware Adaptive Services

2013English

ASMS News

Journal of the American Society for Mass Spectrometry
Structural BiologySpectroscopy
1992English

ASMS News

Journal of the American Society for Mass Spectrometry
Structural BiologySpectroscopy
1993English

A Systematic Verification Approach for Mondex Electronic Purses Using ASMs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

ASMS News

Journal of the American Society for Mass Spectrometry
Structural BiologySpectroscopy
1994English

ASMS News

Journal of the American Society for Mass Spectrometry
Structural BiologySpectroscopy
1993English

A Scenario-Based Distributed Testing Model for Software Applications

International Journal of ADVANCED AND APPLIED SCIENCES
2016English

Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

2016English

A Scenario Tree-Based Decomposition for Solving Multistage Stochastic Programs

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy