Title :
Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Title
Abstract :
The following topics are dealt with: pervasive systems; modelling approaches; embedded systems; software product lines; and formal approaches
Keywords :
embedded systems; formal specification; ubiquitous computing; embedded systems; formal approaches; modelling approaches; pervasive systems; software product lines;
Conference_Titel :
Model-Based Methodologies for Pervasive and Embedded Software, 2007. MOMPES '07. Fourth International Workshop on
Conference_Location :
Braga
Print_ISBN :
0-7695-2769-8
DOI :
10.1109/MOMPES.2007.10