Reliable software technologies ada-europe 2000: 5th ada-europe international conference potsdam, germany, june 26-30, 2000, proceedings
Auteur :
Keller, Herbert B.
Éditeur :
Keller, Herbert B.Pleodereder, Erhard,
ISBN :
9783540676690
Date de publication :
14 juin 2000
Dimensions :
23,3 x 15,5 x 1,7 cm
Poids :
1000 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference papers cover real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing.