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
ISBN
3-540-23169-2
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