Abstract. Modal transition systems provide a behavioral and composi-tional specification formalism for reactive systems. We survey two exten-sions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications.
Abstract. We consider the extensions of modal transition systems (MTS), namely Boolean MTS and param...
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems support...
The development of more flexible and robust models for reasoning about systems in environments with ...
International audienceModal transition systems provide a behavioral and compositional specification ...
International audienceThis extended abstract offers a brief survey presentation of the specification...
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems support...
We introduce a novel formalism of label-structured modal transition systems that combines the classi...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
Specification theories as a tool in the development process of component-based software systems have...
Abstract. Specification theories as a tool in the development process of component-based software sy...
Abstract. We survey extensions of modal transition systems to speci-fication theories for probabilis...
the date of receipt and acceptance should be inserted later Abstract This paper proposes a new theor...
International audienceSpecification theories as a tool in model-driven development processes of comp...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
This extended abstract offers a brief survey presentation of the specification formalism of modal tr...
Abstract. We consider the extensions of modal transition systems (MTS), namely Boolean MTS and param...
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems support...
The development of more flexible and robust models for reasoning about systems in environments with ...
International audienceModal transition systems provide a behavioral and compositional specification ...
International audienceThis extended abstract offers a brief survey presentation of the specification...
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems support...
We introduce a novel formalism of label-structured modal transition systems that combines the classi...
International audienceThis paper proposes a new theory of quantitative specifications. It generalize...
Specification theories as a tool in the development process of component-based software systems have...
Abstract. Specification theories as a tool in the development process of component-based software sy...
Abstract. We survey extensions of modal transition systems to speci-fication theories for probabilis...
the date of receipt and acceptance should be inserted later Abstract This paper proposes a new theor...
International audienceSpecification theories as a tool in model-driven development processes of comp...
the date of receipt and acceptance should be inserted later Abstract Specification theories as a too...
This extended abstract offers a brief survey presentation of the specification formalism of modal tr...
Abstract. We consider the extensions of modal transition systems (MTS), namely Boolean MTS and param...
Modal transition systems (MTS) is a well-studied specification formalism of reactive systems support...
The development of more flexible and robust models for reasoning about systems in environments with ...