Konferenzschrift | Kongress

Formal methods for industrial critical systems : 16th international workshop ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642244308
3642244300
Maße
24 cm
Umfang
X, 259 S.
Sprache
Englisch
Anmerkungen
Ill., graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; 6959

Schlagwort
Sicherheitskritisches System
Formale Methode
Systemanalyse
Systementwurf
Softwareentwicklung
Verifikation

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2011
Beteiligte Personen und Organisationen
Salaün, Gwen
Schätz, Bernhard
FMICS (16 : 2011 : Trient)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:25 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

Beteiligte

  • Salaün, Gwen
  • Schätz, Bernhard
  • FMICS (16 : 2011 : Trient)
  • Springer

Entstanden

  • 2011

Ähnliche Objekte (12)

Formal methods for industrial critical systems : 15th international workshop ; proceedings

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 15th international workshop ; proceedings

Formal methods for industrial critical systems : 18th international workshop ; proceedings

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 18th international workshop ; proceedings

Formal methods for industrial critical systems : 14th international workshop ; proceedings

Konferenzschrift | Kongress | Kongress <2009>

Formal methods for industrial critical systems : 14th international workshop ; proceedings

Formal methods for industrial critical systems : 17th international workshop ; proceedings

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 17th international workshop ; proceedings

Formal methods for industrial critical systems : 13th international workshop ; revised selected papers

Konferenzschrift | Kongress | Kongress <2008>

Formal methods for industrial critical systems : 13th international workshop ; revised selected papers

Formal methods for industrial critical systems : 12th international workshop ; revised selected papers

Konferenzschrift | Kongress

Formal methods for industrial critical systems : 12th international workshop ; revised selected papers

Computer science logic : 16th international workshop ; proceedings

Konferenzschrift | Kongress

Computer science logic : 16th international workshop ; proceedings

Formal methods: foundations and applications : 16th Brazilian symposium ; proceedings

Konferenzschrift | Kongress

Formal methods: foundations and applications : 16th Brazilian symposium ; proceedings

Workshop-publication / The IFIP WG 5.7 16th Workshop on Experimental Interactive Learning in Industrial Management : June 3 - 5, 2012, in Wuppertal, Germany

Konferenzschrift

Workshop-publication / The IFIP WG 5.7 16th Workshop on Experimental Interactive Learning in Industrial Management : June 3 - 5, 2012, in Wuppertal, Germany

Industrial strength formal methods : proceedings

Konferenzschrift | Kongress

Industrial strength formal methods : proceedings

Formal grammar : 15th and 16th international conferences ; revised selected papers

Konferenzschrift | Kongress

Formal grammar : 15th and 16th international conferences ; revised selected papers

Fast software encryption : 16th international workshop ; revised selected papers

Konferenzschrift | Kongress

Fast software encryption : 16th international workshop ; revised selected papers

Verbundene Objekte