The paper "Four Exercises in Programming Dynamic Recongurable Systems: Methodology and Solution in DR-BIP" has been accepted for publication in the proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2018).  The paper will be presented next week at the symposium, which will be held in Limassol, Cyprus, from 05 to 09 November 2018.


You need to be a member of CITADEL to add comments!


Email me when people reply –

Project Partners














The CITADEL project receives funding from the European Union's Horizon 2020 Research and Innovation Programme under grant agreement No. 700665.
The contents of this website do not necessarily reflect the position of the European Commission and the European Commission is not responsible for any use that may be made of the information it contains.