An Introduction to the PL/CV2 Programming Logic von Constable, R. L, Johnson, S. D, Eichenlaub, C. D

Volltext

The romulus proof checker von Eichenlaub, Carl, Esrig, Bruce, Hook, James, Klapper, Carl, Pottinger, Garrel

Volltext

Hull sanding device von EICHENLAUB, CARL

Volltext bestellen

Using Penelope to assess the correctness of NASA Ada software: A demonstration of formal methods as a counterpart to testing von Eichenlaub, Carl T., Harper, C. Douglas, Hird, Geoffrey

Volltext bestellen

Security modeling in the Ulysses environment von Korelsky, T., Dean, B., Eichenlaub, C., Hook, J., Klapper, C., Lam, M., McCullough, D., Pottinger, G., Rambow, O., Rosenthal, D., Seldin, J.P., Weber, D.G.

Volltext bestellen