- Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch:
Verifying timing properties of concurrent algorithms. FORTE 1994: 259-273 - Nancy A. Lynch:
Proving performance propterties (even probabilistic ones). FORTE 1994: 3-20 - Marc Phalippou:
Test sequence generation using Estelle or SDL structure information. FORTE 1994: 415-430 - Claudia Popien, Bernd Meyer:
A service request description language. FORTE 1994: 37-52 - J. R. Rowson:
Formal specification and analysis of an ISO communications protocol. FORTE 1994: 277-279 - R. Sekar, Yow-Jian Lin, C. R. Ramakrishnan:
Modelling techniques for evolving distributed applications. FORTE 1994: 461-476 - Kenneth J. Turner, Ashley McClenaghan:
Visual animation of LOTOS using SOLVE. FORTE 1994: 283-285 - Andreas Vogel:
Towards a formal computational model for distributed multimedia applications. FORTE 1994: 373-375 - Deh-Min Wu:
Semantic-oriented description techniques for network management information modelling. FORTE 1994: 23-36 - Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann:
A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. FORTE 1994: 399-414 - Juan C. Yelmo, F. Javier Carrasco, Carlos Sánchez, Juan J. Gil, C. Ramos, M. I. Felipe:
FDT based development of an interworking unit between LANs and X.25 networks. FORTE 1994: 135-150 - Wang Yi, Paul Pettersson, Mats Daniels:
Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258 - Bairong Zhang, Alistair Munro, Michael Barton:
The formalization and analysis of CCR protocol and service. FORTE 1994: 87-99
