Work

Design and Implementation of Safety Verification for Civil Aviation Processing System Based on BPMN

Year: 2013

Type: book-chapter

Source: Lecture notes in electrical engineering

DOI: 10.1007/978-3-642-41674-3_117

Authors: Lisong Wang, Qian Zhang

Institution: Nanjing University of Aeronautics and Astronautics

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2302831663

FWCI:

Cites: 8

Cited by:

Related to: 10