Journals
Publish with us
Publishing partnerships
About us
Blog

Advances in Software Engineering

Table of Contents

Advances in Software Engineering/
2009/
Article/
Fig 12 /

Research Article

A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

Figure 12

The state diagram of the capsule HeatingController.

656810.fig.0012

About Us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers
Partnerships

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy

Modern slavery statement

Cookie Preferences