scientific article; zbMATH DE number 1324668

MaRDI QIDQ4255574zbMATH OpenFDO

Authors Laurent Ferier, Jean-François Raskin, Pierre Yves Schobbens

Publication date 17 August 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.010

zbMATH Keywords

specification language albert

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic model checking for real-time systems
• A really temporal logic
• Realizability of real-time logics
• scientific article; zbMATH DE number 1304997

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