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

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

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

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 language	English (US)
Title of host publication	Unknown Host Publication Title
Publisher	IEEE
Pages	632-637
Number of pages	6
State	Published - Dec 1 1986

ASJC Scopus subject areas

Engineering(all)

Cite this

@inproceedings{9b9f34a8545f446881adeab05a43d476,

title = "C: AN ENVIRONMENT FOR SPECIFYING COMPLEX SYSTEMS.",

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.",

author = "D. Cohen and B. Gopinath and M. Honig and W. Keese and P. Levin and J. Myers and U. Premkumar and D. Slepian and J. Vollaro",

year = "1986",

month = dec,

day = "1",

language = "English (US)",

pages = "632--637",

booktitle = "Unknown Host Publication Title",

publisher = "IEEE",

}

TY - GEN

T1 - C

T2 - AN ENVIRONMENT FOR SPECIFYING COMPLEX SYSTEMS.

AU - Cohen, D.

AU - Gopinath, B.

AU - Honig, M.

AU - Keese, W.

AU - Levin, P.

AU - Myers, J.

AU - Premkumar, U.

AU - Slepian, D.

AU - Vollaro, J.

PY - 1986/12/1

Y1 - 1986/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0022888464&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022888464&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022888464

SP - 632

EP - 637

BT - Unknown Host Publication Title

PB - IEEE

ER -

C: AN ENVIRONMENT FOR SPECIFYING COMPLEX SYSTEMS.

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this