Na'aman Kam

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern
Formal Modeling of C. elegans Development: A Scenario-Based Approach. CMSB (2003)
Na'aman Kam, Irun R. Cohen, David Harel
Modeling biological reactivity: statecharts vs. Boolean logic. AVI (2002)
Na'aman Kam, Irun R. Cohen, David Harel
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts. HCC (2001)