Cargando…

Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Sankaranarayanan, Sriram, Vicario, Enrico
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756958

Ejemplares similares

Computational collective intelligence: 7th international conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, proceedings, part I
por: Núñez, Manuel, et al.
Publicado: (2015)

Software engineering and formal methods: 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 proceedings
por: Calinescu, Radu, et al.
Publicado: (2015)

Computer performance engineering: 12th European workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, proceedings
por: Beltrán, Marta, et al.
Publicado: (2015)

End-user development: 5th international symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015 proceedings
por: Díaz, Paloma, et al.
Publicado: (2015)

Business process management: 13th international conference, BPM 2015, Innsbruck, Austria, August 31 - September 3, 2015, proceedings
por: Motahari-Nezhad, Hamid Reza, et al.
Publicado: (2015)

Parallel computing technologies: 13th international conference, PACT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, proceedings
por: Malyshkin, Victor, et al.
Publicado: (2015)

Database and expert systems applications: 26th international conference, DEXA 2015, Valencia, Spain, September 1-4, 2015, proceedings, part II
por: Chen, Qiming, et al.
Publicado: (2015)

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

Reliable software technologies - ADA-Europe 2015: 20th ADA-Europe international conference on reliable software technologies, Madrid Spain, June 22-26, 2015, proceedings
por: de la Puente, Juan Antonio, et al.
Publicado: (2015)

Formal methods: 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, proceedings
por: Cornélio, Márcio, et al.
Publicado: (2016)

Logic programming and nonmonotonic reasoning: 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 proceedings
por: Calimeri, Francesco, et al.
Publicado: (2015)

Image analysis and processing - ICIAP 2015: 18th international conference, Genoa, Italy, September 7-11, 2015, proceedings, part II
por: Murino, Vittorio, et al.
Publicado: (2015)

Speech and computer: 17th international conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, proceedings
por: Ronzhin, Andrey, et al.
Publicado: (2015)

Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
por: Bartocci, Ezio, et al.
Publicado: (2015)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

Combinatorics on words: 10th international conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, proceedings
por: Manea, Florin, et al.
Publicado: (2015)

Information security: 18th international conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, proceedings
por: Lopez, Javier, et al.
Publicado: (2015)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Web services, formal methods, and behavioral types: 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, revised selected papers
por: Hildebrandt, Thomas, et al.
Publicado: (2016)

KI 2015: 38th annual German conference on AI, Dresden, Germany, September 21-25, 2015, proceedings
por: Hölldobler, Steffen, et al.
Publicado: (2015)

Algorithmic decision theory: 4th international conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, proceedings
por: Walsh, Toby
Publicado: (2015)

Modeling decisions for artificial intelligence: 12th international conference, MDAI 2015, Skövde, Sweden, September 21-23, 2015, proceedings
por: Narukawa, Torra, et al.
Publicado: (2015)

Internet and distributed computing systems: 8th international conference, IDCS 2015, Windsor, UK, September 2-4, 2015 proceedings
por: Di Fatta, Giuseppe, et al.
Publicado: (2015)

Text, speech, and dialogue: 18th international conference, TSD 2015, Pilsen, Czech Republic, September 14-17, 2015, proceedings
por: Král, Pavel, et al.
Publicado: (2015)

Machines, computations, and universality: 7th international conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, proceedings
por: Nagy, Benedek, et al.
Publicado: (2015)

Software architecture: 12th European conference on software architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, proceedings
por: Cuesta, Carlos E, et al.
Publicado: (2018)

Software architecture: 9th European conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 proceedings
por: Weyns, Danny, et al.
Publicado: (2015)

Cryptographic hardware and embedded systems - CHES 2015: 17th international workshop, Saint-Malo, France, September 13-16, 2015, proceedings
por: Güneysu, Tim, et al.
Publicado: (2015)

Global security, safety and sustainability: 10th international conference, ICGS3 2015, London, UK, September 15-17, 2015 proceedings
por: Jahankhani, Hamid, et al.
Publicado: (2015)

Advances in practical applications of agents, multi-agent systems, and sustainability: 13th international conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, proceedings
por: Demazeau, Yves, et al.
Publicado: (2015)

Hybrid artificial intelligent systems: 10th international conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, proceedings
por: Onieva, Enrique, et al.
Publicado: (2015)

Relational and algebraic methods in computer science: 15th international conference, RAMICS 2015, Braga, Portugal, September 28 - October 1, 2015, proceedings
por: Kahl, Wolfram, et al.
Publicado: (2015)

Unconventional computation and natural computation: 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 - September 3, 2015, proceedings
por: Calude, Cristian S, et al.
Publicado: (2015)

Computer analysis of images and patterns: 16th international conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, proceedings, part II
por: Azzopardi, George, et al.
Publicado: (2015)

Integrated formal methods: 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017, proceedings
por: Polikarpova, Nadia, et al.
Publicado: (2017)

Collaboration and technology: 21st international conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, proceedings
por: Baloian, Nelson, et al.
Publicado: (2015)

Languages, applications and technologies: 4th international symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, revised selected papers
por: Sierra-Rodríguez, José-Luis, et al.
Publicado: (2015)

Formal ontologies meet industry: 7th international workshop, FOMI 2015, Berlin, Germany, August 5, 2015, proceedings
por: Cuel, Roberta, et al.
Publicado: (2015)

Soft computing in data science: first international conference, SCDS 2015, Putrajaya, Malaysia, September 2-3, 2015, proceedings
por: Berry, Michael W, et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_kjdjftlss4fndpmsb1kmq5ld8d