News

Paper on Formal Specification and Verification of Dynamic Parametrized Architectures

Posted by Ivan Stojic on April 19, 2018 at 4:17pm

The paper "Formal Specification and Verification of Dynamic Parametrized Architectures" has been accepted for publication in the proceedings of the 22nd International Symposium on Formal Methods (FM 2018). The paper will be presented this summer at the conference, which will be held in Oxford, UK, from 15 to 17 July 2018.

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

Join CITADEL

Email me when people reply –
Follow

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.