Publications

A Formal Validation Approach for Holonic Control System Specifications

AuthID
P-000-JJX

Author(s)

Leitao, P

Colombo, AW

Restivo, F

Document Type

Proceedings Paper

Year published

2003

Published

in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS

Pages: 203-210 (8)

Conference

9Th Ieee International Conference on Emerging Technologies and Factory Automation, Date: SEP 16-19, 2003, Location: Lisbon, PORTUGAL, Sponsors: IEEE Ind Elect Soc, UNINOVA, Univ Nova Lisboa FCT DEE, Host: Calouste Gulbenkian Fdn

Indexing

Wos^®

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/etfa.2003.1247707

Wos: WOS:000189406100028

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

A Formal Validation Approach for Holonic Control System Specifications

Useful Links

Get Help

Federated Authentication (Click on the image)

A Formal Validation Approach for Holonic Control System Specifications

Useful Links

Get Help