scientific article; zbMATH DE number 3974265

MaRDI QIDQ3740206zbMATH OpenFDO

Authors Nihal Nounou, Yechiam Yemini

Publication date 1987

zbMATH Keywords

construction toolsimplementationperformance analysisspecificationsynthesistestingValidation toolsverification

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 1878657
• scientific article; zbMATH DE number 772001
• The synthesis of communication protocols
• scientific article; zbMATH DE number 1196700
• scientific article; zbMATH DE number 3926217

Cited in

(6)

• LOTOS extended with probabilistic behaviours
• Kannel - a language for tuning protocols
• scientific article; zbMATH DE number 2018583 (Why is no real title available?)
• scientific article; zbMATH DE number 2079687 (Why is no real title available?)
• scientific article; zbMATH DE number 772001 (Why is no real title available?)
• Some notes on the history of protocol engineering

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 Q3740206)