1998
8 references published this year.
A Lightweight Approach to Formal Methods
Sten Agerholm et al. (1998) · Applied Formal Methods — FM-Trends 98
First-Order Proof Theory of Arithmetic
Samuel R. Buss (1998) · Handbook of Proof Theory
ANSI/IEEE Std 802.1D, 1998 Edition: IEEE Standard for Local Area Network MAC (Media Access Control) Bridges
Institute of Electrical and Electronics Engineers (1998)
Stalking the elusive computer bug
Peggy Aldrich Kidwell (1998) · IEEE Annals of the History of Computing
Architecture and control of an adaptive high capacity flat network
Eric Livermore et al. (1998) · IEEE Communications Magazine
Real-time Nuclear Power Plant Monitoring with Neural Network
Kunihiko Nabeshima et al. (1998) · Journal of Nuclear Science and Technology
Formal methods in computer technologies
I. V. Sergienko et al. (1998) · Cybernetics and Systems Analysis
The quantitative impact of survivable network architectures on service availability
Mark R. Wilson (1998) · IEEE Communications Magazine