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

DOI10.1007/B100825zbMATH Open1111.68350OpenAlexW2497925506MaRDI QIDQ5394047

K. N. Sridhar, Gabriel Ciobanu

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Uses Software

• PEPA

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