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

DOI10.1007/b100825zbMath1111.68370OpenAlexW2497925506MaRDI QIDQ5394045

Wlodzimierz M. Zuberek

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

zbMATH Keywords

performance analysistimed Petri netsevent-driven simulationpipelined processorsBlock multithreadinginstruction issuing

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)

Related Items (1)

Performance evaluation of concurrent systems using Petri nets

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