Konferenzschrift | Kongress 2011

Formal methods for eternal networked software systems : advanced lectures

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642214547
3642214541
Maße
24 cm
Umfang
VIII, 526 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 6659 : Tutorial

Schlagwort
Softwaresystem
Softwarearchitektur
Interoperabilität
Konnektor
Formale Methode
Maschinelles Lernen
Verteiltes System
Trusted Computing
Leistungsbewertung

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2011
Beteiligte Personen und Organisationen
Bernardo, Marco
Issarny, Valerie
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11 : 2011 : Bertinoro)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:51 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Konferenzschrift
  • Kongress 2011

Beteiligte

  • Bernardo, Marco
  • Issarny, Valerie
  • International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11 : 2011 : Bertinoro)
  • Springer

Entstanden

  • 2011

Ähnliche Objekte (12)

Formal methods for software architectures : advanced lectures

Konferenzschrift | Kongress

Formal methods for software architectures : advanced lectures

Networked RFID : Systems, Software and Services

Text

Networked RFID : Systems, Software and Services

Eternal

Abschnitt

Eternal

Behavior-aware Trustworthiness Study of Networked Software

Behavior-aware Trustworthiness Study of Networked Software

Eternal light

Bildband

Eternal light

Eternal Life...

Graffiti | Streetart

Eternal Life...

Eternal Return

Dokument

Eternal Return

Eternal reality

Eternal reality

Lectures on formal methods and performance analysis : revised lectures

Konferenzschrift | Kongress

Lectures on formal methods and performance analysis : revised lectures

Advanced lectures on software engineering

Aufsatzsammlung | Konferenzschrift

Advanced lectures on software engineering

Unintentional and Hidden Information Leaks in Networked Software Applications

Hochschulschrift

Unintentional and Hidden Information Leaks in Networked Software Applications

The eternal Woman

The eternal Woman

Verbundene Objekte