Formal systems specification : the RPC-memory specification case study - Broy, Manfred; Merz, Stephan; Spies, Katharina (Berlin : Springer, 1996)
Keywords: Remote area power supply systems; Memory management (Computer science)