Eerke Boiten

Proceedings of the 16th International BCS-FASCS Refinement Workshop, Turku

John Derrick, Steve Reeves, Eerke Boiten, 2013 .

Issues in multiparadigm viewpoint specification

Howard Bowman, John Derrick, Maarten Steen, 1996, ISAW '96.

Proceedings 17th International Workshop on Refinement

John Derrick, Steve Reeves, Eerke Boiten, 2016 .

Proceedings 15th International Refinement Workshop

John Derrick, Steve Reeves, Eerke Boiten, 2011 .

Intrusion Detection System for Platooning Connected Autonomous Vehicles

Leandros A. Maglaras, Helge Janicke, Dimitrios Kosmanos, 2019, 2019 4th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference (SEEDA-CECNSM).

Editorial

Jordi Cabot, Eerke Boiten, Heike Wehrheim, 2021, Formal Aspects Comput..

Complementing Privacy and Utility Trade-Off with Self-Organising Maps

Aladdin Ayesh, Eerke Boiten, Kabiru Mohammed, 2021, Cryptogr..

Weak Reenement in Z

Howard Bowman, Eerke Boiten, 1997 .

Z Uniication Tools in Generic Formaliser 2 Generic Formaliser

Eerke Boiten, E. Boiten, 1997 .