Travelled to:1 × USA
Collaborated with:G.D.Abowd B.C.Meyers P.R.H.Place
Talks about:standard (1) specif (1) requir (1) propos (1) method (1) formal (1) posix (1) use (1)
Person: Neal R. Reizer
DBLP: Reizer:Neal_R=
Contributed to:
1994Wrote 1 papers:
- ICRE-1994-ReizerAMP #formal method #requirements #specification #standard #using
- Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.