Formal specification and analysis of take-off procedure using VDM-SL

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
2194-3206
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Formal specification and analysis of take-off procedure using VDM-SL ; volume:4 ; number:1 ; day:15 ; month:2 ; year:2016 ; pages:1-26 ; date:12.2016
Complex Adaptive Systems Modeling ; 4, Heft 1 (15.2.2016), 1-26, 12.2016

Urheber
Zafar, Nazir Ahmad
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1186/s40294-016-0014-y
URN
urn:nbn:de:1111-2016021614765
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:23 MESZ

Datenpartner

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

Beteiligte

  • Zafar, Nazir Ahmad
  • SpringerLink (Online service)

Ähnliche Objekte (12)