Login / Signup
On developing and verifying design abstractions for reliable concurrent programming in Ada.
Alan Burns
Andy J. Wellings
Albert Koelmans
Maciej Koutny
Alexander B. Romanovsky
Alexandre Yakovlev
Published in:
IRTAW (2000)
Keyphrases
</>
user interface
case study
knowledge based systems
design process
general purpose
concurrent programming
fault tolerant
design principles