Dependability evaluation of an air traffic control computing system

DOI10.1016/S0166-5316(99)00011-5MaRDI QIDQ4779398zbMATH OpenFDO

Authors Nocolae Fota, Mohamed Kaâniche, Karama Kanoun

Publication date 24 June 2003

Published in Performance Evaluation (Search for Journal in Brave)

zbMATH Keywords

stochastic Petri netsCAUTRA

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Lectures on Concurrency and Petri Nets
• Publication:4891637
• scientific article; zbMATH DE number 1304838
• scientific article; zbMATH DE number 2033528
• On dependability of computing systems

This page was built for publication: Dependability evaluation of an air traffic control computing system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779398)