Stop the war!
Остановите войну!
for scientists:
default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 21
Volume 21: Multi-Paradigm Modeling 2009
- Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle:
Preface.
- Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor:
Modeling and Formal Verification of a Passive Optical Network on Chip Behavior. - Akshay Rajhans, Shang-Wen Cheng, Bradley R. Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave:
An Architectural Approach to the Design and Analysis of Cyber-Physical Systems. - Andreas Schuster, Jonathan Sprinkle:
Synthesizing Executable Simulations from Structural Models of Component-Based Systems. - Juanjuan Jiang, Tarja Systä:
A Pattern-Based Approach to Manage Model References. - Andrés Yie, Rubby Casallas, Dirk Deridder, Dennis Wagelaar:
A practical approach to multi-modeling views composition. - Bruno Barroca, Levi Lucio, Didier Buchs, Vasco Amaral, Luis Pedro:
DSL Composition for model-based test generation. - Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer:
Systematic Transformation Development. - Márk Asztalos, László Lengyel, Tihamer Levendovszky:
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. - Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda:
Model-Based Engineering of Supervisory Controllers using CIF. - Tamás Mészáros, Tihamer Levendovszky, Gergely Mezei:
Code Generation with the Model Transformation of Visual Behavior Models. - Marcel A. Groothuis, Raymond Frijns, Jeroen Voeten, Jan F. Broenink:
Concurrent Design of Embedded Control Software.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.