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

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

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

Uloženo v:

Podrobná bibliografie
Korporativní autor:	IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems :Oxford, Royaume-Uni
Další autoři:	Groz, Roland (Šéfredaktor, odpovědný redaktor), Hierons, Robert M. (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 2978
Témata:	Génie logiciel Informatique Réseaux d'ordinateurs Essais Systèmes de télécommunications Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	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, 16th IFIP international conference, TestCom 2004, Oxford, UK, March 17-19, 2004, proceedings, Roland Groz, Robert M. Hierons (eds.), Berlin, Springer, 2004, 1 vol. (XII-223 p.), Lecture notes in computer science, 3-540-21219-1 • Testing of Communicating Systems, Texte imprimé, 9783662162439

Podobné jednotky

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

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

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

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Autor: Godefroid, Patrice, 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
Autor: Mitrou, Nikolas

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

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

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

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

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

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

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

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

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

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

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

Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
Autor: Cortadella, Jordi, 1962-

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

Mobile agents for telecommunication applications : 5th international workshop, MATA 2003, Marrakech, Morocco, october 8-10, 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

Self-adaptive software : first international workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers

SDL 2001 : meeting UML : 10th International SDL Forum, Copenhagen, Denmark, June 27 29, 2001 : 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

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

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : 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

Network and parallel computing : IFIP international confernce, NPC 2004, Wuhan, China, October 18-20, 2004 : proceedings

Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004 : roceedings
Autor: Jacobsen, Hans-Arno, 1969-

Interactive multimedia and next generation networks : Second international workshop on multimedia interactive protocols and systems, MIPS 2004, Grenoble, France, November 16-19, 2004 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : 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

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

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

Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings
Autor: De Nicola, Rocco

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

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

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

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

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 : proceedings

Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 : 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