QRouland
/
qrouland.com
1
0
Fork 0
Code Pull Requests Releases Activity

Add FGCS journal publication

This commit is contained in:
Quentin Rouland 2020-02-26 09:41:18 +01:00
parent eddf27a0db
commit a07a9e8882
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
index.html
View File

@ -242,7 +242,10 @@
<h3 class="mb-3 font-weight-bold dark-grey-text">
<strong data-i18n="publications.journal"></strong>
</h3>
<p class="grey-text" data-i18n="publications.nothing"></p>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.future.2020.02.033">Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture</a>.
Future Generation Computer Systems, 2020.
</p>
</div>
<!--Grid column-->