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

DOI10.1007/b100825zbMath1111.68545OpenAlexW2497925506MaRDI QIDQ5394040

Diego Cazorla, Fernando Cuartero, Juan José Pardo, M. Carmen Ruiz, Hermenegilda Macia

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)

Related Items

BAL Tool in Flexible Manufacturing Systems