Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings

DOI10.1007/B100825zbMath1056.68014OpenAlexW2497925506MaRDI QIDQ1763065

No author found.

Publication date: 21 February 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100825

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14)

Related Items (2)

Analytically simple and computationally efficient results for the \(GI^X/ Geo /c\) queues ⋮ Do judge a test by its cover. Combining combinatorial and property-based testing

This page was built for publication: Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings