Ausgabe 2/2019
Inhalt (6 Artikel)
Regular Paper
A qualitative assessment of Rby in the perspective of the supervisory control theory
Maxime Routhier, Richard St-Denis
Regular Paper
From high-level modeling toward efficient and trustworthy circuits
Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone
Regular Paper
Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B
Chunyan Fu, Kougen Zheng
Regular Paper
Formal specification and implementation of an automated pattern-based parallel-code generation framework
Gervasio Pérez, Sergio Yovine
Open Access
Regular Paper
Knowledge-based security testing of web applications by logic programming
Philipp Zech, Michael Felderer, Ruth Breu