Pragmatic Formal Specification of System Properties by Tables

DOI10.1007/978-3-319-15545-6_21zbMath1454.68065OpenAlexW651549231MaRDI QIDQ5256357

Manfred Broy

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-15545-6_21

zbMATH Keywords

dynamic systemsmobilityinstantiation

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pragmatic Formal Specification of System Properties by Tables