Applying Formal Methods: Testing, Performance, and M/E-Commerce

DOI10.1007/B100825zbMath1111.68366OpenAlexW2497925506MaRDI QIDQ5394042

Herwig Bruneel, Bart Vinck

Publication date: 24 October 2006

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

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

This page was built for publication: Applying Formal Methods: Testing, Performance, and M/E-Commerce