Sciweavers

9974 search results - page 104 / 1995
» Software Interconnection Models
Sort
View
106
Voted
CBSE
2008
Springer
15 years 4 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
104
Voted
ASWSD
2006
Springer
15 years 4 months ago
Modeling with the Timing Definition Language (TDL)
Wolfgang Pree, Josef Templ
70
Voted
FASE
2008
Springer
15 years 4 months ago
Orthographic Modeling Environment
Colin Atkinson, Dietmar Stoll
AVI
2010
15 years 4 months ago
Wizard-based process modeling for business users
Jean-Philippe Lombardi, Jürgen Vogel