Pliant Modalities in Hybrid Event-B

DOI10.1007/978-3-642-39698-4_3zbMath1390.68176OpenAlexW189688763MaRDI QIDQ2842625

Richard Banach

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Rodin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verification and Control of Hybrid Systems
• The B-Book
• Logical Analysis of Hybrid Systems

This page was built for publication: Pliant Modalities in Hybrid Event-B