Visual Specification of Concurrent Systems

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F03%3A00008253" target="_blank" >RIV/00216224:14330/03:00008253 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Visual Specification of Concurrent Systems
Original language description
The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which thedifferent models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA201%2F03%2F1161" target="_blank" >GA201/03/1161: Verification of infinite-state systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
18th IEEE International Conference on Automated Software Engineering
ISBN
0-7695-2035-9
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
369-372
Publisher name
IEEE Computer Society
Place of publication
Montreal, Quebec, Canada
Event location
Montreal, Quebec, Canada
Event date
Oct 6, 2003
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)