01441nlm0 22004091i 450 9900092439404033219783540316169000924394FED01000924394(Aleph)000924394FED0100092439420100926d2005----km-y0itay50------baengDEdrnn-008mamaaFormal Modeling and Analysis of Timed SystemsRisorsa elettronicaThird International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsedited by Paul Pettersson, Wang YiBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433829Documento elettronicoTestoFormato html, pdfPettersson,PaulYi,WangITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11603009EB990009243940403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Modeling and Analysis of Timed Systems772562UNINA