Applying formal methods testing, performance and M/E commerce ; FORTE 2004 Workshops The FormEMC ..., Toledo, Spain, October 1 - 2, 2004 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	FormEMC (BerichterstatterIn), FORTE (BerichterstatterIn), EPEW (BerichterstatterIn), ITM (BerichterstatterIn)
Weitere Verfasser:	Núñez, Manuel (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin ; Heidelberg ; New York Springer 2004
Schriftenreihe:	Lecture notes in computer science 3236
Schlagworte:	Electronic Commerce - Formale Methode - Kongress - Toledo <2004> > Verteiltes System - Leistungsbeurteilung - Formale Methode - Kongress - Toledo <2004> > Verteiltes System - Modellierung - Testen - Formale Methode - Kongress - Toledo <2004> > Datenverarbeitung > Computer network protocols > Electronic data processing > Distributed processing > Formal methods (Computer science) > Leistungsbewertung > Formale Methode > Testen > Verteiltes System > Electronic Commerce > Modellierung > Konferenzschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!