A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01823430
Contributor : Marc Aiguier <>
Submitted on : Tuesday, June 26, 2018 - 9:18:21 AM
Last modification on : Monday, July 9, 2018 - 12:36:16 PM

Links full text

Identifiers

Collections

Citation

Marc Aiguier, Bilal Kanso. A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2014, 24 (1), pp.1 - 46. ⟨10.7561/SACS.2014.1.1⟩. ⟨hal-01823430⟩

Share

Metrics

Record views

66