Conference Detail

IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems

Events list

Place

Brno

Type of Event

workshop

Kind of Event

worldwide event

Time

2004-05-26 - 2004-05-28

Last time changed by