Back to Results
First PageMeta Content
Science / Model checkers / Theoretical computer science / Automata theory / ISO standards / Modeling language / Domain-specific modeling / Formal verification / Promela / Software engineering / Unified Modeling Language / Scientific modeling


Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers Manuel Wimmer
Add to Reading List

Document Date: 2013-10-21 17:24:43

Open Document

File Size: 980,87 KB

Share Result on Facebook

City

Analyzing Rule / Scenario / /

Company

Hybrid Systems / /

Country

Belgium / France / Austria / Canada / /

Currency

LTL / /

/

Facility

Business Informatics Group Vienna University of Technology Vienna / University of Antwerp Antwerp / McGill University / trail Figure / /

IndustryTerm

finite state transition systems / continuous-value systems / real-time properties / concurrent systems / ad-hoc matching algorithm / state/transition systems / finite-state systems / maximum search depth / /

Organization

University of Technology Vienna / McGill University / Vienna University of Technology / McGill University Montreal / Multi-Paradigm Foundation for Model Transformation Language Engineering / University of Antwerp Antwerp / /

Person

Joachim Denil Modeling / Hans Vangheluwe / /

Position

internal controller / String +guard / guard / /

ProgrammingLanguage

Promela / Unified Modeling Language / Java / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

RAM / matching algorithm / Java / http / Simulation / ad-hoc matching algorithm / /

SocialTag