Work

Modeling reactive systems in Java

Year: 1998

Type: article

Source: ACM Transactions on Design Automation of Electronic Systems

DOI: 10.1145/296333.296334

Authors: C. Passerone, C. Sansoe, L. Lavagno, R. McGeer, J. Martin, R. Passerone, A. Sangiovanni-Vincentelli

Institutions: Politecnico di Torino, University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2162357850

FWCI: 4.035

Cites: 14

Cited by: 23

Related to: 10