Referentgranskade publikationer

A4 Konferenspublikationer
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
On Optimization of Test Parallelization with Constraints (2016)
Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres
CEUR Workshop Proceedings
CEUR-WS.org
A4 Konferenspublikationer
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A4 Konferenspublikationer
Proofs and Refutations in Invariant-Based Programming (2014)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Springer
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook

Senast uppdaterad 2018-19-09 vid 19:44