English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Applying formal methods. Testing, performance and M/E-commerce
Information
Publications
Export
Statistics
Options
Title
Applying formal methods. Testing, performance and M/E-commerce
Titel Supplements
FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1 - 2, 2004. Proceedings
Verlag
Springer
Verlagsort
Berlin
Datum
2004
Serie
Lecture Notes in Computer Science
Konferenz
International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) 2004
International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (TheFormEMC) 2004
European Performance Enginneering Worshop (EPEW) 2004
International Workshop on Integration of Testing Methodologies (ITM) 2004