Applying guidelines for system modelling in Event-B - a systematic literature review

Author(s):  
Marina Waldén ◽  
Andrew Edmunds ◽  
Fatima Shokri Manninen ◽  
Marta Olszewska
Author(s):  
Marta Olszewska ◽  
Fatima Shokri Manninen ◽  
Andrew Edmunds ◽  
Marina Waldén

2019 ◽  
Vol 18 (6) ◽  
pp. 3207-3233 ◽  
Author(s):  
Antonio Cicchetti ◽  
Federico Ciccozzi ◽  
Alfonso Pierantonio

2019 ◽  
Vol 12 (3) ◽  
pp. 280-295 ◽  
Author(s):  
Alison Nuske ◽  
Fiona Rillotta ◽  
Michelle Bellon ◽  
Amanda Richdale

2014 ◽  
Author(s):  
Heather T. Snyder ◽  
Maggie R. Boyle ◽  
Lacey Gosnell ◽  
Julia A. Hammond ◽  
Haley Huey

2018 ◽  
Vol 19 (4) ◽  
pp. 600-611 ◽  
Author(s):  
Nathan Beel ◽  
Carla Jeffries ◽  
Charlotte Brownlow ◽  
Sonya Winterbotham ◽  
Jan du Preez

2017 ◽  
Vol 41 (3) ◽  
pp. 222-233 ◽  
Author(s):  
David J. Bumgarner ◽  
Elizabeth J. Polinsky ◽  
Katharine G. Herman ◽  
Joanne M. Fordiani ◽  
Carmen P. Lewis ◽  
...  

2019 ◽  
Vol 16 (2) ◽  
pp. 196-207 ◽  
Author(s):  
Christine E. Gould ◽  
Brian C. Kok ◽  
Vanessa K. Ma ◽  
Aimee Marie L. Zapata ◽  
Jason E. Owen ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document