2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By IEEE

9781538693414
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reusing Formal Models via Lifting

2018 ◽  
Author(s):  
Dana Dghaym ◽  
Colin Snook ◽  
Thai Son Hoang ◽  
Michael Butler
Keyword(s):  
Formal Models

Back Propagating B System Updates on SysML/KAOS Domain Models

2018 ◽  
Author(s):  
Steve Jeffrey Tueno Fotso ◽  
Marc Frappier ◽  
Regine Laleau ◽  
Amel Mammar
Keyword(s):  
Domain Models

scholarly journals Efficient Algorithms and Tools for MITL Model-Checking and Synthesis

2018 ◽  
Author(s):  
Thomas Brihaye ◽  
Gilles Geeraerts ◽  
Hsi-Ming Ho ◽  
Arthur Milchior ◽  
Benjamin Monmege
Keyword(s):  
Model Checking ◽  
Efficient Algorithms

scholarly journals Formal Analysis of a Proof-of-Stake Blockchain

2018 ◽  
Author(s):  
Wai Yan Maung Maung Thin ◽  
Naipeng Dong ◽  
Guangdong Bai ◽  
Jin Song Dong
Keyword(s):  
Formal Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document