Skip to content

UAM Iztapalapa 50 años

Login
  • 0 items (Full)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Language
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Advanced
  • Verification of infinite-state...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Add to Book Bag Remove from Book Bag
  • Permanent link
Loading…
Preview
Preview
Preview

Verification of infinite-state systems with applications to security /

Show other versions (1)

Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania
Other Authors: Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Series:NATO security through science series. Information and communication security ; vol. 1.
Subjects:
System theory > Mathematical models > Congresses.
System theory > Security measures > Congresses.
Computer security > Congresses.
Computer software > Verification > Congresses.
Théorie des systèmes > Modèles mathématiques > Congrès.
Théorie des systèmes > Sécurité > Mesures > Congrès.
Sécurité informatique > Congrès.
Logiciels > Vérification > Congrès.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Computer security
Computer software > Verification
System theory > Mathematical models
Infinite-state systems
Security
VISSAS
Conference papers and proceedings
Online Access:Texto completo
  • Holdings
  • Description
  • Table of Contents
  • Other Versions (1)
  • Similar Items
  • Staff View

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items

  • Verification of infinite-state systems with applications to security /
    Published: (2006)
  • Software Safety and Security.
    by: Nipkow, T.
    Published: (2012)
  • Software safety and security : tools for analysis and verification /
    Published: (2012)
  • Engineering Dependable Software Systems.
    by: Broy, M.
    Published: (2013)
  • Software and systems safety : specification and verification /
    Published: (2011)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Search History
  • Catálogo Anterior

¿Necesitas ayuda?

  • Search Tips
  • Ask a Librarian
  • FAQs

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_5rr6v5stbteapbaj8hvc1mlu5g