Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By ACM Press

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

scholarly journals Compositional dataflow circuits

2017 ◽  
Author(s):  
Stephen A. Edwards ◽  
Richard Townsend ◽  
Martha A. Kim

Hyperproperties of real-valued signals

2017 ◽  
Author(s):  
Luan Viet Nguyen ◽  
James Kapinski ◽  
Xiaoqing Jin ◽  
Jyotirmoy V. Deshmukh ◽  
Taylor T. Johnson

Property templates for checking source code security

2017 ◽  
Author(s):  
Elizabeth I. Leonard ◽  
Myla M. Archer ◽  
Constance L. Heitmeyer
Keyword(s):  
Source Code ◽  
Code Security

Simulation of cyber-physical systems using IEC61499

2017 ◽  
Author(s):  
Hammond A. Pearce ◽  
Matthew M. Y. Kuo ◽  
Nathan Allen ◽  
Partha S. Roop ◽  
Avinash Malik
Keyword(s):  
Cyber Physical Systems ◽  
Physical Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document