𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formality of the Constructible Derived Category for Spheres: A Combinatorial and a Geometric Approach

✍ Scribed by Anne Balthasar

Publisher
SP Birkhäuser Verlag Basel
Year
2009
Tongue
English
Weight
375 KB
Volume
6
Category
Article
ISSN
1660-5446

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal approach for the construction a
A formal approach for the construction and verification of railway control systems
✍ Anne E. Haxthausen; Jan Peleska; Sebastian Kinder 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 660 KB

## Abstract This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically tr