Simulation studies on creating verified specifications for distributed control in manufacturing

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific

Original language	English
Title of host publication	Proceedings of the 2nd CKBS Working Conference
Number of pages	17
Publication status	Published - 1994
MoE publication type	B3 Non-refereed article in conference proceedings
Event	2nd CKBS Working Conference - Keele, United Kingdom Duration: 14 Jun 1994 → 17 Jun 1994

Cite this

@inproceedings{fffcc675e74d4430b73c3b663092c7d7,

title = "Simulation studies on creating verified specifications for distributed control in manufacturing",

author = "Tapio Heikkil{\"a} and Markku J{\"a}rviluoma and Timo Juntunen",

note = "Project code: AUT43302 ; 2nd CKBS Working Conference ; Conference date: 14-06-1994 Through 17-06-1994",

year = "1994",

language = "English",

booktitle = "Proceedings of the 2nd CKBS Working Conference",

}

TY - GEN

T1 - Simulation studies on creating verified specifications for distributed control in manufacturing

AU - Heikkilä, Tapio

AU - Järviluoma, Markku

AU - Juntunen, Timo

N1 - Project code: AUT43302

PY - 1994

Y1 - 1994

M3 - Conference article in proceedings

BT - Proceedings of the 2nd CKBS Working Conference

T2 - 2nd CKBS Working Conference

Y2 - 14 June 1994 through 17 June 1994

ER -