PAYMENT DETAILS

  • Order Details
    1
  • Confirm
    2

Order Details

Are you one of the authors of this manuscript?
No. of Copies
 
(minmum 25 copies)

Billing and Shipping Addresses

Billing Address

Payer Name
Email
Phone
Address
City
Country
Tax/Customs info
(e.g. 'CPF/CNPJ', 'RUT','EORI', or 'NPWP')

Shipping Address

Attention of
Email
Phone
Address
(P.O. Box is not allowed)
City
Country

Note: if you do not confirm your information in step 2, your information will not be saved.

List of Authors

  • Yu Tan
  • Yongwang Zhao
  • Dianfu Ma

Article Details

Journal Title
Scientific Programming
Volume
2022
Article Title
A Comprehensive Formalization of AADL with Behavior Annex
List of Authors
  • Yu Tan(ORCID ID: https://orcid.org/0000-0002-5180-7694)
  • Yongwang Zhao(ORCID ID: https://orcid.org/0000-0002-2284-1383)
  • Dianfu Ma(ORCID ID: https://orcid.org/0000-0002-4769-9483)
Article ID
2079880
Article Type
Research Article
No. of Pages
26 Pages
Corresponding Author
Xuejun Zhang
Additional Authors

Invoice Details

Invoice Issue Date
11 December 2023
Type of Reprints
Colored, Covered
Invoice Ref. No.
Terms
Payable upon Receipt

Charges

No. of Copies
Reprints Charges
0.00
Total
$