Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Modeling reactive systems in Java
HTML
Details
Locations
Year:
2002
Type:
conference-paper
Source:
International Symposium on Hardware/Software Codesign (CODES)
DOI:
10.1109/hsc.1998.666232
Authors:
C. Passerone,
R. Passerone,
C. Sansoe,
J. Martin,
A. Sangiovanni-Vincentelli,
R. McGeer
show all 6
Institutions:
Politecnico di Torino,
University of California, Berkeley,
Cadence Design Systems (United States)
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Artificial Intelligence
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2905056419
FWCI:
0.542
Cites:
9
Cited by:
7
Related to:
10