Reachability testing of concurrent programs von Lei, Y., Carver, R.H.

Volltext

Use of sequencing constraints for specification-based testing of concurrent programs von Carver, R.H., Kuo-Chung Tai

Volltext

Incremental integration testing of concurrent programs von Koppol, P.V., Carver, R.H., Kuo-Chung Tai

Volltext

Debugging concurrent Ada programs by deterministic execution von Tai, K.-C., Carver, R.H., Obaid, E.E.

Volltext

Replay and testing for concurrent programs von Carver, R.H., Tai, K.-C.

Volltext

Test sequence generation from formal specifications of distributed programs von Carver, R.H., Tai, K.C.

Volltext

Use of sequencing constraints for specifying, testing, and debugging concurrent programs von Juo-Chung Tai, Carver, R.H.

Volltext bestellen

Static analysis of concurrent software for deriving synchronization constraints von Carver, R.H., Tai, K.-C.

Volltext bestellen

A semantics-based approach to analyzing concurrent programs von Carver, R.H., Tai, K.-C.

Volltext bestellen

Deterministic execution debugging of concurrent Ada programs von Tai, K.C., Carver, R.H., Obaid, E.E.

Volltext bestellen

Identification of 3-hydroxykynurenine as the lens pigment in the gourami Trichogaster trichopterus von Truscott, R.J.W., Carver, J.A., Thorpe, A., Douglas, R.H.

Volltext

Multi-Sensor Microwave Soil Moisture Remote Sensing: NASA's Combined Radar/Radiometer (ComRAD) System von O'Neill, P.E., Lang, R.H., Kurum, M., Utku, C., Carver, K.R.

Volltext bestellen

“Lag” — a geochemical sampling medium for arid regions von Carver, R.N., Chenoweth, L.M., Mazzucchelli, R.H., Oates, C.J., Robbins, T.W.

Volltext

Molecular Characterization of Atlas 66-Derived Wheat Near-lsogenic Lines Contrasting in Aluminum (Al) Tolerance von Guo, P.G, Bai, G.H, Li, R.H, Carver, B, Baum, M

Volltext

Triiodothyronine and hydrocortisone effects on Rana pipiens erythropoiesis von Meints, R.H., Carver, F.J.

Volltext

Erythropoietic activity in the turtle: The influence of hemolytic anemia, hypoxia and hemorrhage on hemopoietic function von Meints, R.H, Carver, F.J, Gerst, J.W, McLaughlin, D.W

Volltext