Reactive animation: realistic modeling of complex dynamic systems
暂无分享,去创建一个
David Harel | Sol Efroni | Irun R. Cohen | D. Harel | I. Cohen | S. Efroni | Sol Efroni
[1] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[2] Krzysztof R. Apt,et al. Logics and Models of Concurrent Systems , 1989, NATO ASI Series.
[3] Wolfgang Reisig,et al. Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.
[4] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[5] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[6] I. Damgård,et al. The protocols. , 1989, The New Zealand nursing journal. Kai tiaki.
[7] Roel Wieringa,et al. Design methods for reactive systems - Yourdon, Statemate, and the UML , 2003 .
[8] David Harel,et al. Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .
[9] D. Harel,et al. Toward rigorous comprehension of biological complexity: modeling, execution, and visualization of thymic T-cell maturation. , 2003, Genome research.
[10] David Harel,et al. A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal , 2003, HSCC.
[11] I. Cohen. Tending Adam's Garden: Evolving the Cognitive Immune Self , 2004 .
[12] S. Diehl,et al. Software visualization , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
[13] Irun R Cohen,et al. Informational Landscapes in Art, Science, and Evolution , 2006, Bulletin of mathematical biology.