• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Hauptwerk
  4. Applying formal methods. Testing, performance and M/E-commerce
 
  • Information
  • Publications
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
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022