C: AN ENVIRONMENT FOR SPECIFYING COMPLEX SYSTEMS.

D. Cohen*, B. Gopinath, M. Honig, W. Keese, P. Levin, J. Myers, U. Premkumar, D. Slepian, J. Vollaro

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The I*C project is an effort to create a development environment to design and analyze complex systems. The authors have developed a mathematically precise language, called IC*, to specify complex systems and reason about their behavior. A machine called I*C is being built to simulate or implement the specified systems. An environment for real-time interaction between the user and a simulation running on the I*C machine is also being built.

Original languageEnglish (US)
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages632-637
Number of pages6
StatePublished - Dec 1 1986

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'C: AN ENVIRONMENT FOR SPECIFYING COMPLEX SYSTEMS.'. Together they form a unique fingerprint.

Cite this