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

  • Abdul Rehman
  • Omar H. Alhazmi

Article Details

Journal Title
Scientific Programming
Volume
2021
Article Title
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems
List of Authors
  • Abdul Rehman(ORCID ID: https://orcid.org/0000-0002-4855-5000)
  • Omar H. Alhazmi(ORCID ID: https://orcid.org/0000-0002-6158-1801)
Article ID
6685978
Article Type
Research Article
No. of Pages
17 Pages
Corresponding Author
Nadeem Akhtar
Additional Authors

Invoice Details

Invoice Issue Date
25 April 2024
Type of Reprints
Colored, Covered
Invoice Ref. No.
Terms
Payable upon Receipt

Charges

No. of Copies
Reprints Charges
0.00
Total
$