Skip to main content
Erschienen in: Formal Aspects of Computing 2/2015

01.03.2015 | Original Article

Refinement in hybridised institutions

verfasst von: Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa, Rolf Hennicker

Erschienen in: Formal Aspects of Computing | Ausgabe 2/2015

Einloggen

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadaten
Titel
Refinement in hybridised institutions
verfasst von
Alexandre Madeira
Manuel A. Martins
Luís S. Barbosa
Rolf Hennicker
Publikationsdatum
01.03.2015
Verlag
Springer London
Erschienen in
Formal Aspects of Computing / Ausgabe 2/2015
Print ISSN: 0934-5043
Elektronische ISSN: 1433-299X
DOI
https://doi.org/10.1007/s00165-014-0327-6

Weitere Artikel der Ausgabe 2/2015

Formal Aspects of Computing 2/2015 Zur Ausgabe