scientific article; zbMATH DE number 1629970

zbMATH Open0971.68651MaRDI QIDQ2729089

Ada Amendola, S. Gnesi, G. Lenzini, Author name not available (Why is that?), Diego Latella, Author name not available (Why is that?)

Publication date: 4 November 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkinglinear temporal logicformal verificationscritical railway systemfault tolerant behaviorsafety critical systems

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

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