CODES BINAIRES DUAUX EN COMPLEMENT A DEUXBUDKOWSKI S.1975; ROZPR. ELEKTROTECH.; POLSKA; DA. 1975; VOL. 21; NO 2; PP. 295-304; ABS. ANGL. FR. ALLEM. RUSSE; BIBL. 6 REF.Article

CODE BINAIRE SEMI-SYSTEMATIQUE A DEUX COMPOSANTESBUDKOWSKI S.1974; ARCH. AUTOMAT. TELEMECH.; POLSKA; DA. 1974; VOL. 19; NO 4; PP. 459-466; ABS. RUSSE ANGL.; BIBL. 8 REF.Article

A DOUBLE TRACK ERROR-CORRECTION CODE FOR MAGNETIC TAPE.PRUSINKIEWICZ P; BUDKOWSKI S.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 6; PP. 642-645; BIBL. 7 REF.Article

ERROR CORRECTION WITH ASKEW REDUNDANCY CHECK.PRUSINKIEWICZ P; BUDKOWSKI S.1975; BULL. ACAD. POLON. SCI., SCI. TECH.; POLOGNE; DA. 1975; VOL. 23; NO 11; PP. 949-953; ABS. RUSSE; BIBL. 5 REF.Article

Estelle development toolset (EDT)BUDKOWSKI, S.Computer networks and ISDN systems. 1992, Vol 25, Num 1, pp 63-82, issn 0169-7552Article

AN INTRODUCTION TO THE VERIFICATION ORIENTED MICROPROGRAMMING LANGUAGE "MIDDLE"DEMBINSKI P; BUDKOWSKI S.1978; MICRO 11. ANNUAL MICROPROGRAMMING WORKSHOP. 11/1978-11-19/PACIFIC GROVE CA; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1978; PP. 139-143; BIBL. 14 REF.Conference Paper

An introduction to Estelle: A specification language for distributed systemsBUDKOWSKI, S; DEMBINSKI, P.Computer networks and ISDN systems. 1987, Vol 14, Num 1, pp 3-23, issn 0169-7552Article

Contribution à la modélisation qualitative et quantitative des protocoles de communication: application au protocole XTP = Contribution to the methodology of qualitative and quantitative modeling of communication protocols: application to the XTP protocolAlkhechi, Ahmad Bassel; Budkowski, S.1994, 174 p.Thesis