LEADER 04283nam 22006495 450 001 996465550903316 005 20200701062402.0 024 7 $a10.1007/11603009 035 $a(CKB)1000000000213569 035 $a(SSID)ssj0000317726 035 $a(PQKBManifestationID)11248913 035 $a(PQKBTitleCode)TC0000317726 035 $a(PQKBWorkID)10294611 035 $a(PQKB)10041810 035 $a(DE-He213)978-3-540-31616-9 035 $a(MiAaPQ)EBC3068413 035 $a(PPN)123099064 035 $a(EXLCZ)991000000000213569 100 $a20100409d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Analysis of Timed Systems$b[electronic resource] $eThird International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings /$fedited by Paul Pettersson, Wang Yi 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (IX, 305 p.) 225 1 $aProgramming and Software Engineering ;$v3829 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$aPrinted edition: 9783540309468 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Modular Performance Analysis of Distributed Embedded Systems -- Logic and Specification -- Real Time Temporal Logic: Past, Present, Future -- Translating Timed I/O Automata Specifications for Theorem Proving in PVS -- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams -- Times Games and Synthesis -- On Optimal Timed Strategies -- Average Reward Timed Games -- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness -- Invited Talk -- Verification of Parameterized Timed Systems -- Model Checking -- Model Checking the Time to Reach Agreement -- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems -- A New Verification Procedure for Partially Clairvoyant Scheduling -- Invited Talk -- Timing Analysis and Simulation Tools for Real-Time Control -- Hybrid Systems -- Automatic Rectangular Refinement of Affine Hybrid Systems -- Reachability Problems on Extended O-Minimal Hybrid Automata -- Counterexamples for Timed Probabilistic Reachability -- Petri Nets -- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets -- Comparison of the Expressiveness of Timed Automata and Time Petri Nets -- Semantics -- Quantifying Similarities Between Timed Systems -- Performance of Pipelined Asynchronous Systems -- Is Timed Branching Bisimilarity an Equivalence Indeed? -- Semantics and Modelling -- Implementation of Timed Automata: An Issue of Semantics or Modeling? -- Timed Abstract Non-interference. 410 0$aProgramming and Software Engineering ;$v3829 606 $aComputer logic 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aSpecial purpose computers 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aSpecial purpose computers. 615 14$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1015113 702 $aPettersson$b Paul$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYi$b Wang$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465550903316 996 $aFormal Modeling and Analysis of Timed Systems$9772562 997 $aUNISA LEADER 04941nam 2200649 450 001 9910795510703321 005 20220523212628.0 010 $a3-95487-871-2 024 7 $a10.31819/9783954878710 035 $a(CKB)5120000000123934 035 $a(MiAaPQ)EBC5757651 035 $a(DE-B1597)516778 035 $a(OCoLC)1088924311 035 $a(DE-B1597)9783954878710 035 $a(MiAaPQ)EBC6273974 035 $a(Au-PeEL)EBL6273974 035 $a(OCoLC)1170335510 035 $a(OCoLC)1121496062 035 $a(FlNmELB)ELB105269 035 $a(EXLCZ)995120000000123934 100 $a20220523d2016 uy 0 101 0 $aspa 135 $aurcnu|||||||| 181 $ctxt$2rdamedia/spa 182 $cc$2rdamedia/spa 183 $2rdacarrier/spa 200 03$aLa Evidencialidad en Espan?ol $eTeori?a y Descripcio?n /$fRamo?n Gonza?lez Ruiz, Da?maso Izquierdo Alegri?a, O?scar Loureda Lamas (editors) 210 1$aMadrid :$cFrankfurt am Main :$cIberoamericana :$cVervuert,$d[2016] 210 4$d©2016 215 $a1 recurso en li?nea (356 pa?ginas) 225 1 $aLingu?i?stica Iberoamericana ; ;$vVolume 60 311 0 $a84-8489-948-9 320 $aIncludes bibliographical references. 327 $tFront matter --$tÍNDICE --$tUn acercamiento a los fundamentos de la evidencialidad y a su recepción y tratamiento en la lingüística hispánica /$rIzquierdo Alegría, Dámaso / González Ruiz, Ramón / Loureda Lamas, Óscar --$tI. Consideraciones teóricas acerca de la noción de evidencialidad y su aplicación al español. ¿Hay evidencialidad en español? --$tLa naturaleza y función de la evidencialidad en español /$rGonzález Vázquez, Mercedes --$tEstableciendo límites entre la evidencialidad y la atenuación en español /$rAlbelda Marco, Marta --$tII. La expresión de la evidencialidad en español a través de adverbios y partículas discursivas --$tEvidencialidad, significados pragmáticos y partículas discursivas en español. Sobre la intensificación tácticamente evidencial /$rBriz, Antonio --$tPor lo visto y al parecer: evidencialidad y restricción del compromiso con la verdad de un contenido enunciado /$rGonzález Ramos, Elisa --$tSubjetividad e intersubjetividad en los marcadores evidenciales formados por el verbo de percepción visual ver en español /$rMarcos Sánchez, Mercedes --$tPartículas evidenciales en el desarrollo del discurso reformulativo /$rRodríguez Ramalle, Teresa María --$tEntre la codificación y la inferencia. Los valores citativos de que inicial átono en español /$rGras, Pedro --$tIII. La expresión de la evidencialidad en español a través de verbos y adverbios modales --$tLas lecturas evidenciales de los verbos (semi)auxiliares en español /$rCornillie, Bert --$tLos adverbios evidenciales en español /$rTorner, Sergi --$tIV. La expresión de la evidencialidad en español a través de tiempos verbales --$tPolifonía, evidencialidad citativa y tiempos verbales. Acerca de los usos citativos del futuro morfológico y del futuro perifrástico /$rGarcía Negroni, María Marta --$tEvidencialidad en el pretérito perfecto compuesto del español: revisión y propuesta /$rAzpiazu, Susana --$tV. Enfoque contrastivo: la evidencialidad en español y en otras lenguas --$tEpistemicidad y posicionamiento discursivo: un estudio interlingüístico de la evidencialidad en el discurso periodístico en castellano y en inglés /$rMarín Arrese, Juana I. --$tSobre los autores 330 $aEn la actualidad, la noción de evidencialidad ha trascendido los límites de la tipología lingüística y ha terminado importándose para la descripción de lenguas europeas como el inglés, francés o español. Este volumen nace con la vocación de ofrecer una muestra representativa de los estudios evidencialistas desarrollados en la lingüística hispánica a través de doce contribuciones centradas en un grupo variado y equilibrado de unidades lingüísticas del español que han sido analizadas en términos evidenciales. 410 0$aLingu?i?stica iberoamericana ;$vVolume 60. 606 $aSpanish language$xGrammar, Comparative$xFrench 606 $aSpanish language$xGrammar, Comparative$xEnglish 606 $aSpanish language$xModality 606 $aEvidentials (Linguistics) 606 $aSpanish language$xGrammar 615 0$aSpanish language$xGrammar, Comparative$xFrench. 615 0$aSpanish language$xGrammar, Comparative$xEnglish. 615 0$aSpanish language$xModality. 615 0$aEvidentials (Linguistics) 615 0$aSpanish language$xGrammar. 676 $a465 702 $aLoureda Lamas$b Oscar 702 $aIzquierdo Alegri?a$b Da?maso 702 $aGonza?lez Ruiz$b Ramo?n 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910795510703321 996 $aLa Evidencialidad en Espan?ol$93679258 997 $aUNINA