Abstract :
The following topics are dealt with: software engineering; parallel computing; distributed computing; and formal methods.
Keywords :
distributed processing; software engineering; distributed computing; formal methods; parallel computing; software engineering;
Conference_Titel :
Chilean Computer Science Society, 2008. SCCC '08. International Conference of the
Conference_Location :
Punta Arenas
Print_ISBN :
978-0-7695-3403-9
DOI :
10.1109/SCCC.2008.1
