Travelled to:1 × USA
Collaborated with:N.R.Reizer G.D.Abowd B.C.Meyers
Talks about:standard (1) specif (1) requir (1) propos (1) method (1) formal (1) posix (1) use (1)
Person: Patrick R. H. Place
DBLP: Place:Patrick_R=_H=
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.