Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturi...
This volume comprises the papers selected for presentation at the International Conference on Formal Methods in Programming and Their Applications, he...
The Austrian Center for Parallel Computation ACPC is a cooperative research organization founded in 1989 to promote research and education in the fiel...
The Scientific orientation of the VCHCI'93 correspondons to the mainstream HCI research spectrum which is represented by this years prime events : INT...
Parallel computer architectures are now going to real applications. This fact is demonstrated by the large number of application areas covered in this...
