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

MaRDI QIDQ3423344zbMATH OpenFDO

Authors Hazem El-Gendy, Nabil El-Kadhi

Publication date 22 February 2007

zbMATH Keywords

Formal Description Technique

Mathematics Subject Classification ID

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

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

Cited in

(3)

• scientific article; zbMATH DE number 140248 (Why is no real title available?)
• 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)