Skip to search formSkip to main contentSkip to account menu

International Conference on Formal Techniques for Networked and Distributed Systems

The IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE) is part of the federated conference… 
Wikipedia (opens in a new tab)

Related topics

Related topics

1 relation
List of computer science conferences

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Formal Specification and Verification of a Narrow Bandwidth Protocol in PVS
The paper presents a protocol for connection-establish service over an extreme-narrow bandwidth channel. The protocol is modeled… 
2008
2008
Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
2007
2007
Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
2003
2003
Proceedings of 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems
2001
2001
Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
2001
2001
Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001…