Thomas F. Piatkowski

Publication Activity (10 Years)

Years Active: 1967-1992
Publications (10 Years): 0

Publications

Sandeep Mitra, Leslie C. Lander, Thomas F. Piatkowski
Techniques for semi-automated implementation of state-oriented, real-time formal specifications in Ada. WADAS (1992)
Leslie C. Lander, Sandeep Mitra, Nitin Singhvi, Thomas F. Piatkowski
The Elaboration Order Problem of Ada. Softw. Pract. Exp. 22 (5) (1992)
Leslie C. Lander, Sandeep Mitra, Thomas F. Piatkowski
Priority inversion in Ada programs during elaboration. WADAS (1990)
Thomas F. Piatkowski
Satellites, packets, and distributed telecommunications. A compendium of source materials. Proc. IEEE 74 (5) (1986)
R. C. Venkatraman, Thomas F. Piatkowski
A formal comparison of formal protocol specification techniques. PSTV (1985)
Thomas F. Piatkowski, Lap-Kin Ip, Dayun He
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. PSTV (1982)
Thomas F. Piatkowski, Lap-Kin Ip, Dayun He
State Architecture Notation and Simulation: A Formal Technique for the Specification and Testing of Protocol Systems. Comput. Networks 6 (6) (1982)
Thomas F. Piatkowski
The ISO-ANSI Open Systems Reference Model - A Proposal for a Systems Approach. Comput. Networks 4 (1980)
Thomas F. Piatkowski
A Novel and Versatile Approach to Computer Hardware Education and Computer Terminal Development. IFIP Congress (2) (1971)
Eugene L. Lawler, Thomas F. Piatkowski
Generalized State Identification Problems SWAT (1967)