Sciweavers

19587 search results - page 277 / 3918
» Systems Engineering for software Engineers
Sort
View
AC
1998
Springer
15 years 11 months ago
Emerging Standards for Public-Key Cryptography
Burton S. Kaliski Jr.
ADAEUROPE
1998
Springer
15 years 11 months ago
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Alan Burns, Brian Dobbing, G. Romanski
AMAST
1998
Springer
15 years 11 months ago
Observational Logic
Rolf Hennicker, Michel Bidoit
132
Voted
AMAST
1998
Springer
15 years 11 months ago
Abstract Algebraic Logic
Don Pigozzi