Sciweavers

    480 search results - page 22 / 96
    » On the verification of automotive protocols
    Sort
    View
    FAABS
    2004
    Springer
    138views Intelligent Agents» more  FAABS 2004»
    Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
    15 years 9 months ago
    Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
    Download  madeira.ls.fi.upm.es
    The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
    Jaime Ramírez, Angélica de Antonio
    claim paper
    Read More »
    ICCD
    2005
    IEEE
    78views Hardware» more  ICCD 2005»
    Formal Verification and its Impact on the Snooping versus Directory Protocol Debate
    16 years 3 months ago
    Formal Verification and its Impact on the Snooping versus Directory Protocol Debate
    Download  www.cis.upenn.edu
    Milo M. K. Martin
    claim paper
    Read More »
    FMCAD
    2009
    Springer
    100views Formal Methods» more  FMCAD 2009»
    Protocol verification using flows: An industrial experience
    16 years 19 days ago
    Protocol verification using flows: An industrial experience
    Download  fmv.jku.at
    John W. O'Leary, Murali Talupur, Mark R. Tuttle
    claim paper
    Read More »
    IFIP
    2009
    Springer
    92views Programming Languages» more  IFIP 2009»
    Integrating Automated and Interactive Protocol Verification
    16 years 19 days ago
    Integrating Automated and Interactive Protocol Verification
    Download  www.brucker.ch
    Achim D. Brucker, Sebastian Mödersheim
    claim paper
    Read More »
    HASE
    2007
    IEEE
    83views Control Systems» more  HASE 2007»
    Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
    16 years 12 days ago
    Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation
    Download  www.deeds.informatik.tu-darmstadt.de
    Péter Bokor, Marco Serafini, Áron Si...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.