Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain

Cite this paper

@article{Filipovikj2016IntegratingPF, title={Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain}, author={Predrag Filipovikj and Trevor Jagerfield and Mattias Nyberg and Guillermo Rodr{\'i}guez-Navas and Cristina Cerschi Seceleanu}, journal={2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)}, year={2016}, volume={2}, pages={167-173} }