„formal description techniques“

Suchergebnisse

20 Treffer

• Rules and Reasoning – International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings
  Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William ; Kontchakov, Roman ; Sadri, Fariba ; Roman, Dumitru 2017 Springer International Publishing
• Temporal Logics as Examples of Formal Description Techniques for Timed Systems
  Kronenburg, Martin ; Deiß, Thomas ; Eschbach, Robert 1998 Technische Universität Kaiserslautern, Fachbereich Informatik
• Formal Description Techniques and Protocol Specification, Testing and Verification – FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
  1998 Springer US
• The Handbook of Formal Methods in Human-Computer Interaction
  Weyers, Benjamin ; Bowen, Judy ; Dix, Alan ; Palanque, Philippe 2017 Springer International Publishing
• Formal Description Techniques VIII – Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995
  1996 Springer International Publishing
• About the integration of ASN.1 into formal description techniques and programming languages
  Schneider, Jürgen M. 1992 European Networking Center
• Applicability of formal description techniques for test specification
  Meer, Jan ˜deœ 1991 GMD
• Formal description techniques, IV – proceedings of the IFIP TC 6 WG 6 1 ; Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19 - 22 November 1991
  Parker, K. R. 1992 North-Holland
• Formal description techniques, III – proceedings of the IFIP TC WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '90, Madrid, Spain, 5 - 8 November, 1990
  Quemada, Juan 1991 North-Holland
• Reuse of test generation methods for embedded systems
  Guerrouat, Abdelaziz ; Richter, Harald 2005 Technische Universität Clausthal
• Formal Description Techniques and Protocol Specification, Testing and Verification – FORTE X/PSTV XVII ’97
  1997 Springer US
• Formal Methods for Protocol Engineering and Distributed Systems – FORTE XII/PSTV XIX’99 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX) October 5–8, 1999, Beijing, China
  1999 Springer US
• Formal Methods for Distributed System Development – FORTE/PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
  2000 Springer US
• Towards an Experimental Evaluation of SDL-Pattern based Protocol Design
  Feldmann, Raimund ; Geppert, Birgit ; RößLer, Frank 1999 Technische Universität Kaiserslautern, Fachbereich Informatik
• Protocol Engineering
  König, Hartmut 2012 Springer Berlin Heidelberg
• Formal Methods for Computer/Communications Protocols and Software – Design of Distributed Systems and Software, Automated Derivation of Test Sequences, and Implementations
  El-Gendy, Hazem 2012 LAP LAMBERT Academic Publishing
• Protocol engineering
  König, Hartmut 2012 Springer
• Formal description techniques, VI – proceedings of the IFIP TC 6 WG 6.1 Sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26 - 29 October, 1993
  Tenney, Richard L. 1994 North-Holland
• Software language engineering – third international conference ; revised selected papers
  Malloy, Brian ; Staab, Steffen ; Brand, Mark van den 2011 Springer
• Formal descripton techniques, V – proceedings of the IFIP TC 6/WG 6.1. ; Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '92 ; Perros-Guirec, France, 13 - 16 October 1992
  Diaz, Michel 1993 North-Holland