( en | de | ru )

 

Disambiguation of "Schwartz, Richard L."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System.

, and . IEEE Trans. Computers, 31 (7): 616-630 (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Richard Schwartz

Richard Schwartz

Malte Schwartz

Pathogenetical factors contributing to high IgA levels and marked neutrophilic pleocytosis in canine Steroid-responsive Meningitis-Arteritis. TierH Hannover, (2009)

L Bräuer

L Solymosi

 

Other publications of authors with the same name

The Finalization Operation for Abstract Types., and . ICSE, page 273-282. IEEE Computer Society, (1981)Temporal Logic Specification of Distributed Systems., and . ICDCS, page 446-454. IEEE Computer Society, (1981)Interval Logic: A Higher-Level Temporal Logic for Protocol Specification., , and . Protocol Specification, Testing, and Verification, page 3-18. North-Holland, (1983)Automatic Construction of Verification Condition Generators From Hoare Logics., and . ICALP, volume 115 of Lecture Notes in Computer Science, page 363-377. Springer, (1981)From State Machines to Temporal Logic: Specification Methods for Protocol Standards., and . PSTV, page 3-19. North-Holland, (1982)Parallel Compilation: A Design and Its Application to SIMULA 67.. Comput. Lang., 3 (2): 75-94 (1978)STP: A Mechanized Logic for Specification and Verification., , and . CADE, volume 138 of Lecture Notes in Computer Science, page 32-49. Springer, (1982)The proof of SIFT., and . ACM SIGSOFT Softw. Eng. Notes, 7 (1): 2-5 (1982)An Interval-Based Temporal Logic., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 443-457. Springer, (1983)An Aximatic Treatment of Algol 68 Routines.. ICALP, volume 71 of Lecture Notes in Computer Science, page 530-545. Springer, (1979)