Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

92

PSTV
1989

58views Hardware» more PSTV 1989»

Validating SDL Specifications: an Experiment

15 years 4 months ago

Validating SDL Specifications: an Experiment

Download spinroot.com

Gerard J. Holzmann, Joanna Patti

Real-time Traffic

PSTV 1989 | PSTV 1993 |

claim paper

Related Content

» From MSC and UML to SDL

» Hardwaresoftware codesign of an ATM network interface card a case study

» HyperMSCs with Connectors for Advanced Visual System Modelling and Testing

» Case study on the use of SDL for specifying an IETF micro mobility protocol

» DomainSpecific Synonym Expansion and Validation for Biomedical Information Retrieval Multi...

» Translation Validation of HighLevel Synthesis

» Independent validation of specifications a coordination headache

» Validation of Object Oriented Models using Animation

» FIDJI using syntax for validating answers in multiple documents

Post Info
More Details (n/a)

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	1989
Where	PSTV
Authors	Gerard J. Holzmann, Joanna Patti

Comments (0)