Parametric and Quantitative Extensions of Modal Transition Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-54848-2_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Quantitative Modal Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Exploring Inconsistencies Between Modal Transition Systems

Software and Systems Modeling
ModelingSoftwareSimulation
2010English

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
2014English

Generalized Quantitative Analysis of Metric Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Recent Extensions and Applications of the ‘CST’ Universal Parametric Geometry Representation Method

Aeronautical Journal
Aerospace Engineering
2010English

Generated Models and Extensions of Nonmonotonic Systems

1997English

Comperitive Parametric Study of Brick Panel for Linear Static and Modal Analysis

International Journal of Research in Engineering and Technology
2014English

$\Phi$-Postnikov Systems and Extensions of $H$-Spaces

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1975English

Medieval Modal Systems: Problems and Concepts

Ars Disputandi
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy