000 02623nam a22003735i 4500
001 299286
003 MX-SnUAN
005 20160429155542.0
007 cr nn 008mamaa
008 150903s2008 gw | o |||| 0|eng d
020 _a9783540892472
_99783540892472
024 7 _a10.1007/9783540892472
_2doi
035 _avtls000352471
039 9 _a201509030939
_bVLOAD
_c201405060306
_dVLOAD
_y201402171202
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.758
100 1 _aLeucker, Martin.
_eeditor.
_9329918
245 1 0 _aRuntime Verification :
_b8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
_cedited by Martin Leucker.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2008.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5289
500 _aSpringer eBooks
505 0 _aA Smell of Orchids -- Runtime Certification -- Model-Based Run-Time Checking of Security Permissions Using Guarded Objects -- Synthesizing Monitors for Safety Properties: This Time with Calls and Returns -- Forays into Sequential Composition and Concatenation in Eagle -- Checking Traces for Regulatory Conformance -- Deadlocks: From Exhibiting to Healing -- A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity -- Property Patterns for Runtime Monitoring of Web Service Conversations -- Runtime Monitoring of Object Invariants with Guarantee -- A Lightweight Container Architecture for Runtime Verification.
520 _aThis book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008. The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9783540892465
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-540-89247-2
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c299286
_d299286