BibSonomy

Lesezeichen und Publikationen teilen - in blau!

( en | de | ru )

 

Autor
  • Tag
  • Benutzer
  • Gruppe
  • Autor
  • Konzept
  • BibTeX-Schlüssel
  • Suche
R
  • Anmelden
  • Registrieren
  • Gruppen
  • Genealogie
  • Beliebt 
    • Einträge
    • Tags
    • Autoren
    • Konzepte
    • Diskussionen
  • Anmelden
  • Registrieren

Anmelden

Melden Sie sich mit Ihrem Benutzernamen an.

@

Ich habe mein Passwort vergessen.


Melden Sie sich mit Ihrem OpenID-Provider an.

  • Other OpenID-Provider
  1. Autoren
  2. R
  3. Routing verification

Publication title

    Keine Treffer.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

Publikationen  (verstecken)2  
  • Anzeige
  • alles
  • nur Publikationen
  • Publikationen pro Seite
  • 5
  • 10
  • 20
  • 50
  • 100
  • sortieren nach
  • hinzugefügt am
  • Titel
  • Autor
  • Erscheinungsdatum
  • Eintragstyp
  • Hilfe für erweiterte Sortierung...
  • RSS
  • BibTeX
  • RDF
  • mehr...

  •  

     
    1Formal Verification of Ad-Hoc Routing Protocols Using SPIN Model Checker
     

    R. de Renesse, und A. Aghvami. IEEE MELECON, (2004)
    vor 14 Jahren von @msteele
    alle anzeigen
    • formal
    • routing
    • SPIN
    • ad-hoc
    • verification
     
      formalroutingSPINad-hocverification
      KopierenLöschenDiese Publikation zur Ablage hinzufügen
      • Community-Eintrag
      • Versionsverlauf dieses Eintrags
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    •  

       
      1Formal Security Evaluation of Ad Hoc Routing Protocols
       

      T. Andel. Florida State University, (2007)
      vor 14 Jahren von @msteele
      alle anzeigen
      • formal
      • routing
      • MANET
      • ad-hoc
      • security
      • verification
       
        formalroutingMANETad-hocsecurityverification
        KopierenLöschenDiese Publikation zur Ablage hinzufügen
        • Community-Eintrag
        • Versionsverlauf dieses Eintrags
        • URL
        • DOI
        • BibTeX
        • EndNote
        • APA
        • Chicago
        • DIN 1505
        • Harvard
        • MSOffice XML
         
         
      • ⟨⟨
      • ⟨
      • 1
      • ⟩
      • ⟩⟩

      Verwandte Tags

      • + | formal
      • + | routing
      • + | MANET
      • + | SPIN
      • + | ad-hoc
      • + | security

      Tags

      • waves
      • squeezing
      • baseline
      • data_source
      • gene_family_evolution
      • selection
      • spectrum
      • julich2010,
      • human-genome
      • tifr
      • gravitational-waves,
      • panda,
      • quantum-optics
      • pheno,
      • contributedto
      • nuclear,
      • wave
      • cholesterol,
      • library
      • auger
      • alma
      • bdecay,
      • protein
      • CMB
      • neutrino
      • review
      • phylogenetics
      • codon_bias
      • search
      • phylogenomics
      • fulltext
      • icecube
      • Einstein@Home
      • astronomy
      • systematics
      • gw190521
      • planck
      • cardiovascular,
      • myPublications
      • charm
      • supernovae
      • Auger
      • cmb
      • lipid,
      • bsm
      • bdecay
      • parameters
      • GWAS
      • carbohydrates,
      • S5
      • pentaquark
      • diet,
      • LIGO
      • periodic
      • cosmology
      • resolution
      • hdl,
      • hypertension,
      • top
      • dna-sequencing
      • charm,
      • sloan
      • Drosophila
      • hapmap
      • gravitational
      • citeulikeExport
      • appearance
      • cosmological
      • survey
      • nutrition
      • PLANCK
      • sdss
      • evidence
      • journal_club
      • long
      • transposable_elements
      • cosmic-ray
      • m31
      • rays"
      • glueball,
      • haplotype
      • lhcb
      • GIANT
      • human_height
      • to_READ
      • constant
      • zprime
      • imported
      • lhcb,
      • alert
      • human_genome
      • optomechanics
      • "cosmic
      • experiment
      • lhc,
      • spectroscopy
      • carbohydrate,
      • gravitational_waves
      • electron
      • Hubble
      • dust
      Was ist BibSonomy?
      Erste Schritte
      Browser Buttons
      Hilfe
      Entwickler
      Überblick
      API-Dokumentation
      Kontakt und Datenschutz
      Impressum
      Datenschutz & AGB
      Cookies
      Probleme melden
      BibSonomy Wiki
      Integration
      PUMA
      TYPO3 Extension
      WordPress Plugin
      Java REST Client
      Unterstützte Kataloge
      mehr
      Über BibSonomy
      Team
      Weblog
      Mailing Liste
      Social Media
       Folge uns auf Twitter

      BibSonomy wird vom Data Science Lehrstuhl der Universität Würzburg, der Information Processing and Analytics Gruppe der Humboldt-Unversität zu Berlin, dem FG Wissensverarbeitung der Universität Kassel, und vom Forschungszentrum L3S betrieben.