28 citations · 178 across the 46 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 3 cited
Formal specification of the FlexRay protocol using FocusST
Maria Spichkova
FlexRay is a communication protocol developed by the FlexRay Consortium. The core members of the Consortium are Freescale Semiconductor, Robert Bosch GmbH, NXP Semiconductors, BMW,…
cs.LO2016★ 1 cited
"Boring formal methods" or "Sherlock Holmes deduction methods"?
Maria Spichkova
This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050:…