Travelled to:1 × France
Collaborated with:∅
Talks about:constraint (1) distribut (1) theori (1) system (1) specif (1) verif (1) time (1) real (1) use (1)
Person: Frederick C. Furtek
DBLP: Furtek:Frederick_C=
Contributed to:
1980Wrote 1 papers:
- CADE-1980-Furtek #constraints #distributed #formal method #realtime #specification #using #verification
- Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints (FCF), pp. 110–125.