Login / Signup

Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware.

Stefan ReschMichael Paulitsch
Published in: ISSRE Workshops (2017)
Keyphrases