Sciweavers

16541 search results - page 216 / 3309
» Ontologies and Software Engineering
Sort
View
AC
1998
Springer
15 years 10 months ago
Emerging Standards for Public-Key Cryptography
Burton S. Kaliski Jr.
ADAEUROPE
1998
Springer
15 years 10 months ago
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Alan Burns, Brian Dobbing, G. Romanski
AMAST
1998
Springer
15 years 10 months ago
Observational Logic
Rolf Hennicker, Michel Bidoit