Applying formal methods : :: SCD d'Orléans

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

Applying formal methods : testing, performance, and M/E-Commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : roceedings

保存先:

書誌詳細
団体著者:	FORTE Workshops :Toledo, Spain
その他の著者:	García-Pelayo y Gross, Fernando (出版デイレクター), Nùñez, Manuel, 19..- (出版デイレクター), Maamar, Zakaria (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 3236
主題:	Génie logiciel Informatique Réseaux d'ordinateurs Commerce électronique Systèmes informatiques > Pannes Structure logique Culture numérique Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Applying Formal Methods, Testing, Performance, and M/E-Commerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, october 1-2, 2004, proceedings, Manuel N'uñez, Zakaria Maamar, Fernando L. Pelayo ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (XI-379 p.), Lecture notes in computer science, 3-54023169-2 • Applying Formal Methods: Testing, Performance, and M/E-Commerce, Texte imprimé, 9783662164709

類似資料

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

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
著者:: Mitrou, Nikolas

Performance evaluation : origins and directions
著者:: Haring, Günter, 1943-

Networking 2002 : networking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communications : Second International IFIP-TC6 Networking Conference, Pisa, Italy, May 19-24, 2002 : proceedings
出版事項: (2007)

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
著者:: Deprettere, Ed F., 1944-

Performance evaluation of complex systems : techniques and tools : Performance 2002 tutorial lectures
著者:: Calzarossa, Maria Carla, 1958-

Performance engineering : state of the art and current trends
著者:: Dumke, Reiner

Parallel computing technologies : third international conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

Web engineering and peer-to-peer computing : NETWORKING 2002 Workshops, Pisa, Italy, May 19 24, 2002 : revised papers

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : proceedings

Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings

Interactive Markov chains : and the quest for quantified quality
著者:: Hermanns, Holger, 1967-

Computer performance evaluation : modelling techniques and tools : 10th international conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : proceedings Applications

Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : 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

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

Performance tools and applications to networked systems : revised tutorial lectures
著者:: Calzarossa, Maria Carla, 1958-

Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings

Formal models of agents : ESPRIT Project ModelAge Final Workshop : selected papers
著者:: Meyer, John-Jules Charles, informaticien

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

High-performance computing and networking : International conference and exhibition, Munich, Germany, April 18-20, 1994 : Proceedings networking and tools

Passive and active network measurement : ; proceedings 5th international workshop, PAM 2004, Antibes Juan-les-Pins, France, April 19-20, 2004
著者:: Barakat, Chadi, 1974-

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings

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

Formal systems specification : the RPC-memory specification case study
著者:: Broy, Manfred, 1949-

Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings
著者:: Dean, Neville, 19..-

High performance transaction systems : 2nd International workshop, Asilomar conference center, Pacific Grove, CA, USA, September 28-30, 1987 : proceedings

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5 7, 2000 : revised papers

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004, Bertinoro, Italy, september 13-18, 2004 : revised lectures
著者:: Bernardo, Marco

Dependable computing - EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2 4, 1996 : proceedings

Dependable computing : first Latin-American symposium, LADC 2003, Sao Paulo, Brazil, october 21-24, 2003 : proceedings

Dependable computing : EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23 25, 2002 : proceedings

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

Cryptographic hardware and embedded systems : CHES 2004 : 6th international workshop, Cambridge, MA, USA, August 11-13, 2004 : proceedings

E-Commerce and Web technologies : Third International Conference, EC-Web 2002 Aix-en-Provence, France, September 2 6, 2002 : 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