• Deutsch
  • English

Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and S [de]

Klassifikation
Dimension Wert
  • Disziplin
  • Ingenieurwissenschaften
    • Informatik
  • Personalaufwand
  • Keine Angabe
  • Forschungsprojekt Hybride Wertschöpfung
    • Fördernde Institutionen
    • Nationale staatliche Förderung
      • Sonstige
    • Sonstige Fördernde Institutionen
    • National Science Foundation
    Projektansprechpartner: Dr. Assaf Kfoury

    Genericity in Network Software: Using Type Systems and Formal Methods to Harness Diverse Theories and Calculi for Scalable and S [de] ()

    No translation existing.


    This project was described byAdmin Istrator (24. Mai 2011 - 10:01)
    Dieses Projekt wurde zuletzt bearbeitet von: Sanja Tumbas (1. Juli 2012 - 23:37)

    Weitere Informationen



    Die folgenden Organisationen sind an diesem Projekt beteiligt.