Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos

zbMATH Open1127.68345MaRDI QIDQ3423344FDOQ3423344

Authors: Hazem El-Gendy, Nabil El-Kadhi 

Publication date: 22 February 2007

Recommendations

• scientific article; zbMATH DE number 1706341
• Testing algebraic data types and processes: A unifying theory
• scientific article; zbMATH DE number 3980447
• Data Flow Analysis and Testing of Abstract State Machines
• scientific article; zbMATH DE number 140248

zbMATH Keywords

Formal Description Technique

Mathematics Subject Classification ID

Distributed systems (68M14) Network protocols (68M12)

Cited In (3)

• Title not available (Why is that?)
• Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
• Comments on: ``Games with a permission structure -- a survey on generalizations and applications

This page was built for publication: Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos

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