Title: Protocol Engineering
Subjects: Softwareentwicklung, Spezifikationstechnik, Formale Beschreibungstechnik, Requirements engineering, Verifikation, Kommunikationsprotokoll