A formal approach to reactive systems software: A telecommunications application in Esterel
Year: 1996
Type: article
Source: Formal Methods in System Design
DOI: 10.1007/bf00122418
Institutions: AT&T (United States), The University of Texas at Austin
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3014811439