Slicing of timed automata with discrete data

MaRDI QIDQ5486059zbMATH OpenFDO

Authors Agata Janowska, Paweł Janowski

Publication date 6 September 2006

zbMATH Keywords

timed automatastatic analysisprogram slicingtimed systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2104628
• scientific article; zbMATH DE number 5201490
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 1507209
• Formal Modeling and Analysis of Timed Systems

Cited in

(3)

• scientific article; zbMATH DE number 2104628 (Why is no real title available?)
• AI*IA 2005: Advances in Artificial Intelligence
• Computer Aided Verification

Describes a project that uses

Uses Software

• VerICS
• Uppaal2k

This page was built for publication: Slicing of timed automata with discrete data

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