2014
DOI: 10.1007/978-3-642-54848-2_6
View full text
|
|
Share

Abstract: Abstract. Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.

Search citation statements

Order By: Relevance

Citation Types

0
3
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals