Publications

Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping

AuthID
P-005-614

Author(s)

Risoldi, M

Amaral, V

Editor(s)

Guelfi, N; Buchs, D

Document Type

Proceedings Paper

Year published

2007

Published

in Rapid Integration of Software Engineering Techniques in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 4401, Pages: 144-159 (16)

Conference

3Rd International Workshop on Rapid Integration of Software Engineering Techniques (Rise 2006), Date: SEP 13-15, 2006, Location: Geneva, SWITZERLAND, Sponsors: Univ Geneva, Software Modeling & Verificat Grp, ERCIM, Fonds Natl Rech

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/170020

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-540-71876-5_10

Dblp: conf/rise/RisoldiA06

Scopus: 2-s2.0-38049136537

Wos: WOS:000246337200010

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping

Useful Links

Get Help

Federated Authentication (Click on the image)

Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping

Useful Links

Get Help