OMT and SDL based techniques and tools for design, simulation and test production of distributed systems

DOI10.1007/S100090050011zbMATH Open1060.68578OpenAlexW1970857825MaRDI QIDQ1856197

Philippe Leblanc

Publication date: 1997

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090050011

zbMATH Keywords

model validationmodel simulationMSCSDLbehavioral propertyengineering of distributed systemsOMT

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of software (68N99)

Uses Software

• CADP

This page was built for publication: OMT and SDL based techniques and tools for design, simulation and test production of distributed systems

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