DocumentCode
2304598
Title
Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - Title
fYear
2007
fDate
31-31 March 2007
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MOMPES.2007.10
Filename
4149158
Link To Document