Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic 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.
a service of 
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.
last updated on 2024-04-22 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
