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

DOI10.1007/b100825zbMath1111.68544OpenAlexW2497925506MaRDI QIDQ5394041

Jinzhao Wu, Guangping Qin

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

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• ACSL