Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Abstract Interpretation
Inferring Physical Units in Formal Models
Most state-based formal methods, like B, Event-B or Z, provide support for static typing. However, these methods and the associated …
Sebastian Krings
,
Michael Leuschel
PDF
Cite
Project
Project
DOI
Inferring Physical Units in B Models
Most state-based formal methods, like B, Event-B or Z, provide support for static typing. However, these methods and the associated …
Sebastian Krings
,
Michael Leuschel
PDF
Cite
Project
Project
DOI
Cite
×