An architecture for a multiagent systems test-bed [Electronic resource]Mõtus, Leo; Meriste, Merik; Kelder, Tõnis; Helekivi, JüriProceedings of the 15th IFAC World Congress : Barcelona, Spain, 20022002 / [7] p. : ill. [CD-ROM]

Model checking in pattern based control systems design [Electronic resource]Vain, Jüri; Ernits, Juhan-PeepProceedings of the 15th IFAC World Congress : Barcelona, Spain, 20022002 / [6] p. : ill. [CD-ROM]