01134nam--2200361---450-99000307459020331620080418154706.03-540-26278-4000307459USA01000307459(ALEPH)000307459USA0100030745920080305d2005----km-y0itay50------baengDEa---||||001yyModel-based testing of reactive systemsadvanced lecturesManfred Broy...[et al.] (eds.)Berlin (etc.)Springercopyr. 2005VIII, 659 p.ill.24 cmLecture Notes in Computer ScienceTutorial34722001Lecture Notes in Computer Science3472Sistemi Complessi004.24BROY,Manfred600498ITsalbcISBD990003074590203316001 LNCS 347232209/CBS00100114620BKSCIANGELA9020080305USA011015ANGELA9020080418USA011547Model-based testing of reactive systems1023377UNISA