01461nlm0 22004331i 450 9900092376704033219783540320371000923767FED01000923767(Aleph)000923767FED0100092376720100926d2005----km-y0itay50------baengDEdrnn-008mamaaModel-Based Testing of Reactive SystemsRisorsa elettronicaAdvanced Lecturesedited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander PretschnerBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433472Documento elettronicoTestoFormato html, pdfBroy,ManfredJonsson,BengtKatoen,Joost-PieterLeucker,MartinPretschner,AlexanderITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/b137241EB990009237670403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringModel-Based Testing of Reactive Systems772637UNINA