International Conference on Formal Techniques for Networked and Distributed Systems
id:
international-conference-on-formal-techniques-for-networked-and-distributed-systems-272-352951
title:
International Conference on Formal Techniques for Networked and Distributed Systems
text:
The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference event DisCoTec which also includes the International Conference on Coordination Models and Languages (COORDINATION) and the IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). Until 2013, the conference was held as IFIP Joint International Conference on Formal Techniques for Distributed Systems and consisted of
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/International_Conference_on_Formal_Techniques_for_Networked_and_Distributed_Systems
date created:
date modified:
2022-08-08T01:48:41Z
main entity:
{"identifier":"Q6049626","url":"https://www.wikidata.org/entity/Q6049626"}
image:
fields total:
13
integrity:
13