01478nlm0 22004091i 450 9900092447204033219783540754541000924472FED01000924472(Aleph)000924472FED0100092447220100926d2007----km-y0itay50------baengDEdrnn-008mamaaFormal Modeling and Analysis of Timed SystemsRisorsa elettronica5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsedited by Jean-François Raskin, P. S. ThiagarajanBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434763Documento elettronicoTestoFormato html, pdfRaskin,Jean-FrançoisThiagarajan,P. S.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-75454-1EB990009244720403321Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Modeling and Analysis of Timed Systems772562UNINA