Hybrid systems: verification and control: no. 3
Auteur :
Alur, Rajeev
ISBN :
9783540611554
Date de publication :
24 avr. 1996
Dimensions :
23,4 x 15,6 x 3,2 cm
Poids :
1940 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Documents the outcome of the DIMACS/SYON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, USA, in October 1995. The 48 revised full papers, selected from the proceedings, present current developments, with contributions from leading experts.