Testing of communicating systems : :: SCD d'Orléans

Testing of communicating systems : 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings

Testing of communicating systems : 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings

Spremljeno u:

Bibliografski detalji
Autor kompanije:	IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems :Sophia Antipolis, Alpes maritimes
Daljnji autori:	Hogrefe, Dieter (Voditelj izdanja), Wiles, Anthony (Voditelj izdanja)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 2644
Teme:	Génie logiciel Informatique Réseaux d'ordinateurs Essais Systèmes de télécommunications Actes de congrès
Online pristup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Bilješka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Testing of communicating systems, 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, proceedings, Dieter Hogrefe, Anthony Wiles (eds.), Berlin, Springer, 2003, 1 vol. (XII-310 p.), Lecture notes in computer science, 3-540-40123-7 • Testing of Communicating Systems, Texte imprimé, 9783662172285

Similar Items

Testing of communicating systems : 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings

Computer aided verification : 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings

Personal wireless communications : IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003 : proceedings

Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003 : proceedings

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
od: Godefroid, Patrice, 19..-

EurAsia-ICT 2002 : information and communication technology : First EurAsian Conference, Shiraz, Iran, October 29 31, 2002 : proceedings
od: Shafazand, Hassan, 19..-

Networking 2004 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004 : proceedings
od: Mitrou, Nikolas

Personal wireless communications : IFIP-TC6 9th International Conference, PWC 2004, Delft, The Netherlands, September 21-23, 2004 : proceedings
od: Niemegeers, Ignas

Management of telecommunication systems and services : modelling and implementing TMN-based multi-domain management
od: Hall, Jane, 19..-

Intelligence in services and networks : technology for ubiquitous telecom services : 5th International Conference on Intelligence in Services and Networks, IS&N 98, Antwerp, Belgium, May 25 28, 1998 : proceedings

Mobile agents for telecommunication applications : 5th international workshop, MATA 2003, Marrakech, Morocco, october 8-10, 2003 : proceedings

Intelligence in services and networks : technology for cooperative competition : Fourth Internationl Conference on Intelligence in Services and Networks, IS&N '97, Cernobbio, Italy, May 27-29, 1997 : proceedings

SDL 2003 : system design : 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003 : proceedings

Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

ECOOP 2000 - object-oriented programming : 14th European Conference Sophia Antipolis and Cannes, France, June 12 16, 2000 : proceedings

Telecommunications and IT convergence towards service E-volution : ; proceedings 7th International Conference on Intelligence in Services and Networks, IS&N'2000, Athens, Greece, February 23-25, 2000

Bringing telecommunication services to the people - IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks, Heraklion, Crete, Greece, October 16 19, 1995 : proceedings

SOFSEM'99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 : proceedings

Networking 2000 : broadband communications, high performance networking, and performance of communication networks : IFIP-TC6/European Commission International Conference, Paris, France, May 14 19, 2000 : proceedings

Telecommunications and beyond : the broader applicability of SDL and MSC : third international workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers

Active networks : IFIP-TC6 5th International Working Conference, IWAN 2003, Kyoto, Japan, December 10-12, 2003, : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 20, 2003 : proceedings

SOFSEM'98 : theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21 27, 1998 : proceedings

SDL 2001 : meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27 29, 2001 : proceedings

Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 : proceedings

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Trends in distributed systems : towards a universal service market : Third International IFIP/GI Working Conference, USM 2000, Munich, Germany, September 12-14, 2000 proceedings

Engineering societies in the agents world IV : 4th international workshop, ESAW 2003, London, UK, October 29-31, 2003 : revised selected and invited papers
od: Omicini, Andrea, 1965-

Interactive multimedia on next generation networks : First International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2003, Naples, Italy, November 18-21, 2003 : proceedings

SOFSEM 2001 : theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piešt any, Slovak Republic, November 24 December 1, 2001 : proceedings

SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22 29, 2002 : proceedings

Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 11, 2003 : proceedings

Quality of service in multiservice IP networks : second international workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003 : proceedings

Mobile data management : 4th international conference, MDM 2003, Melbourne, Australia, January 21-24, 2003 : proceedings

Telecommunications and networking - ICT 2004 : 11th International Conference on Telecommunications, Fortaleza, Brazil, August 1-6, 2004 : proceedings
od: Souza, José Neuman de, 19..-

Application and theory of Petri nets 1999 : 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21 25, 1999 : proceedings

Object-oriented technology : ECOOP 2000 workshop reader : workshops, panels and posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : proceedings

Mobile data management : second international conference, MDM 2001, Hong Kong, China, January 2001 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales