scientific article; zbMATH DE number 139996

MaRDI QIDQ4028357zbMATH OpenFDO

Authors N. J. Wilson

Publication date 28 March 1993

zbMATH Keywords

computer system developmentimplementationtemporal logic specificationtemporal programming languagesunity methodologyverification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 3982506
• Temporal logic and state systems
• Temporal and dynamic logic
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• Temporal logic and applications—a tutorial

Cited in

(13)

• scientific article; zbMATH DE number 1664929 (Why is no real title available?)
• Why systems of temporal logic are sometimes (un)useful?
• Temporal and dynamic logic
• An Extended Temporal Logic for CSCW
• scientific article; zbMATH DE number 3876567 (Why is no real title available?)
• Temporal verification of reactive systems: response
• scientific article; zbMATH DE number 3902010 (Why is no real title available?)
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• Extending Ina Jo with temporal logic
• scientific article; zbMATH DE number 29557 (Why is no real title available?)
• scientific article; zbMATH DE number 683364 (Why is no real title available?)
• scientific article; zbMATH DE number 2036470 (Why is no real title available?)
• Extending temporal logic to support high-level simulations

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 Q4028357)