Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th MOMPES@ICSE 2009: Vancouver, BC, Canada
- ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2009, May 16, 2009, Vancouver, Canada. IEEE Computer Society 2009, ISBN 978-1-4244-3721-4
Invited Talk
- Marsha Chechik:
A relationship-based approach to model management. 1
Distributed Embedded Systems
- Andreas Polzer, Stefan Kowalewski, Goetz Botterweck
:
Applying software product line techniques in model-based embedded systems engineering. 2-10 - Wolfgang Haberl, Stefan Kugele, Uwe Baumgarten:
Reliable operating modes for distributed embedded systems. 11-21 - Hesham Shokry, Mike Hinchey:
On practical Service-Based Computing in distributed embedded automotive systems. 22-30
Formal Approaches
- Michael J. Ocean, Assaf J. Kfoury, Azer Bestavros:
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems. 31-41 - Yunja Choi:
Verification of an abstract component using communication patterns. 42-52
Tools
- Francisco Assis Moreira do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner:
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation. 53-60 - Aldeida Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya:
ArcheOpterix: An extendable tool for architecture optimization of AADL models. 61-71
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-06-24 20:02 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:
