11.1.2 a Process Modelling Framework for Formal Validation of Panama Canal System Operations

INCOSE International Symposium
doi 10.1002/j.2334-5837.2008.tb00872.x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley

Related search

Panama Canal Zone

1978English

Measurement of Vessels for the Panama Canal

1913English

A Knowledge Centred Framework for Collaborative Business Process Modelling

Business Process Management Journal
AccountingManagementInternational ManagementBusiness
2006English

Sanitation and the Panama Canal.

The Lancet
Medicine
1905English

Sanitation and the Panama Canal.

The Lancet
Medicine
1905English

A Process-Oriented Architecture for Complex System Modelling

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2010English

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
2017English

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

The Panama Canal - A Vital United States Interest

2000English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy