scientific article; zbMATH DE number 1629920

zbMATH Open0970.68714MaRDI QIDQ2729014

Rob Pooley, P. J. B. King

Publication date: 23 October 2001

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• SPNP

Recommendations

• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets 👍 👎
• Using UML models for the performance analysis of network systems 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729014)