IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
forte
FORTE '89
VIAF ID: 472149294087080520556 (Corporate)
Permalink: http://viaf.org/viaf/472149294087080520556
Preferred Forms
-
110 2 _ ‡a FORTE
-
-
-
111 2 _ ‡a IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
-
111 2 _ ‡a IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
-
-
151 _ _ ‡a forte
4xx's: Alternate Name Forms (22)
5xx's: Related Names (1)
- 511 2 _
‡a
FORTE Conference
Works
Title | Sources |
---|---|
Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 ; proceedings |
![]() |
Formal description techniques, 5-8 Dec. 1989: |
![]() ![]() ![]() ![]() |
Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings |
![]() |