Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings [electronic resource]
1st ed. 2010, 2010
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings [electronic resource]
1st ed. 2012, 2012
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected [electronic resource]
1st ed. 2007, 2007
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings [electronic resource]
1st ed. 2011, 2011
1 – 5 von 5
Suche als RSS-Feed
Aktive Filter
SchlagwortUser interfaces (Computer systems)
Autor / AutorinInternational Workshop on Formal Methods for Industrial Critical Systems
Suchergebnisse filtern
Filter anzeigen