TUHH Open Research
Help
New user? Click here to register.Have you forgotten your password?
Communities & Collections
Publications
Research Data
People
Institutions
Projects
  1. Home
  2. Research Information
  3. Journal
  4. Formal methods in system design
    Journal Details
    Publications

Formal methods in system design

Journal Title
Formal methods in system design
Typ
Journal
JCR Abbreviation
FORM METHOD SYST DES
ISSN
1572-8102
Verlag
Springer Science + Business Media B.V
ZDB Nummer
1479899-2
Loading...
Thumbnail Image
TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback