Ausgabe 5/2016
Papers on Formal Engineering Methods including Extended Versions of papers presented at ICFEM 2014 (Part 2)
Inhalt (6 Artikel)
Original Article
Modelling timed reactive systems from natural-language requirements
Gustavo Carvalho, Ana Cavalcanti, Augusto Sampaio
Original Article
Formal modelling and verification of GALS systems using GRL and CADP
Fatma Jebali, Frédéric Lang, Radu Mateescu
Original Article
Formalising concurrent UML state machines using coloured Petri nets
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
Original Article
On the diversity of asynchronous communication
Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Original Article
On the formal analysis of Gaussian optical systems in HOL
Umair Siddique, Sofiène Tahar