Login / Signup
Modeling reactive systems in Java.
Claudio Passerone
Claudio Sansoè
Luciano Lavagno
Patrick C. McGeer
Jonathan Martin
Roberto Passerone
Alberto L. Sangiovanni-Vincentelli
Published in:
ACM Trans. Design Autom. Electr. Syst. (1998)
Keyphrases
</>
reactive systems
model checking
temporal logic
databases
information flow
programming language
case study
object oriented
web services
formal methods
control flow
open source
source code
petri net
knowledge base
modeling language
real time