Work

Distributed Algorithm Simulation Using Input/Output Automata

Year: 1990

Type: report

Abstract: Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.

Source: Defense Technical Information Center (DTIC)

DOI: 10.21236/ada228113

Author: Kenneth J. Goldman

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1548589991

Cites:

Cited by: 10

Related to: 10