Time and probability in formal design of distributed systems

von Hansson, Hans A.
Veröffentlicht 1994

A Methodology for Addressing the Second-Level Digital Divide: A Practical Experience

von Earle,, Susana Munoz Hernández, Clara Benac
Veröffentlicht in I3E (19. : 2020 : Online) Responsible design, implementation and use of information and communication technology ; Part 2 (2020)

Guidelines for specification and verification of communication protocols

von Ernberg, Patrik
Veröffentlicht 1991