000			02895nam a22003495i 4500
001			318396
003			MX-SnUAN
005			20160429161131.0
007			cr nn 008mamaa
008			160108s2014 gw | s |||| 0|eng d
020			_a9783319101811 _9978-3-319-10181-1
035			_avtls000418314
039		9	_y201601081152 _zstaff
050		4	_aQA76.758
245	1	0	_aIntegrated formal methods : _b11th international conference, ifm 2014, bertinoro, italy, september 9-11, 2014, proceedings / _cedited by Elvira Albert, Emil Sekerinski.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2014.
300			_axii, 390 páginas : _b125 ilustraciones
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 ; _v8739
500			_aSpringer eBooks
505	0		_aShape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How to Break the Bank: Semantics of Capability Policies -- Model-Checking Circus State-Rich Specifications -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud -- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems -- Verifying Behavioral UML Systems via CEGAR -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations -- Managing LTL Properties in Event-B Refinement -- Formal Security Analysis of the MaCAN Protocol -- A Probabilistic Framework for Security Scenarios with Dependent Actions -- A Hybrid Analysis for Security Protocols with State -- Towards a Formal Semantics-Based Technique for Interprocedural Slicing -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset -- A Separation Principle for Embedded System Interfacing.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aAlbert, Elvira, _eeditor. _9348785
700	1		_aSekerinski, Emil, _eeditor. _9331952
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319101804
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-10181-1 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c318396 _d318396