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 :
بازگشت