Cargando…

Nasa formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Barrett, Clark, Davies, Misty, Kahsai, Temesghen
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764077

Ejemplares similares

NASA formal methods: 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, proceedings
por: Havelund, Klaus, et al.
Publicado: (2015)

NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, proceedings
por: Badger, Julia M, et al.
Publicado: (2019)

NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, proceedings
por: Rayadurgam, Sanjai, et al.
Publicado: (2016)

Formal methods: 20th Brazilian symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, proceedings
por: Cavalheiro, Simone, et al.
Publicado: (2017)

Correction to: NASA Formal Methods
por: Lee, Ritchie, et al.
Publicado: (2020)

Topics in cryptology - CT-RSA 2017: the cryptographers' track at the RSA conference 2017, San Francisco, CA, USA, February 14-17, 2017, proceedings
por: Handschuh, Helena
Publicado: (2017)

Advances in spatial and temporal databases: 15th international symposium, SSTD 2017, Arlington, VA, USA, August 21 - 23, 2017, proceedings
por: Gertz, Michael, et al.
Publicado: (2017)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Stabilization, safety, and security of distributed systems: 19th international symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, proceedings
por: Spirakis, Paul, et al.
Publicado: (2017)

Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings
por: Lahiri, Shuvendu, et al.
Publicado: (2017)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Security in computing and communications: 5th international symposium, SSCC 2017, Manipal, India, september 13-16, 2017, proceedings
por: Thampi, Sabu M, et al.
Publicado: (2017)

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

Phenomenology 2017 Symposium (PHENO 2017)
Publicado: (2017)

Unconventional computation and natural computation: 16th international conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, proceedings
por: Patitz, Matthew J, et al.
Publicado: (2017)

Advances in cryptology - CRYPTO 2017: 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20-24, 2017, proceedings, part III
por: Katz, Jonathan, et al.
Publicado: (2017)

Advances in cryptology - CRYPTO 2017: 37th annual international cryptology conference, Santa Barbara, CA, USA, August 20-24, 2017, proceedings, part I
por: Katz, Jonathan, et al.
Publicado: (2017)

Formal aspects of component software: 14th international conference, FACS 2017, Braga, Portugal, October 10-13, 2017, proceedings
por: Proença, José, et al.
Publicado: (2017)

Moffett's Solution Causes Significantly Greater Postoperative Throat Pain Compared to Cophenylcaine in Sinonasal Surgery
por: Ku, Dominic, et al.
Publicado: (2019)

Solid state detectors used for the CERN Neutrino Flux Monitoring (NFM)
por: Cavallari, Giorgio, et al.
Publicado: (1978)

Information systems: 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017, proceedings
por: Wrycza, Stanisław, et al.
Publicado: (2017)

IAPCON 2017 Proceedings
por: Ramachandran, Rajith
Publicado: (2017)

Proceedings of the 16th Annual UT-KBRIN Bioinformatics Summit 2016: proceedings: Burns, TN, USA. April 21-23, 2017
por: Dent, L. Leon, et al.
Publicado: (2017)

Cyberspace safety and security: 9th international symposium, CSS 2017, Xi'an China, October 23-25, 2017, proceedings
por: Wen, Sheng, et al.
Publicado: (2017)

Fundamentals of computation theory: 21st international symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, proceedings
por: Klasing, Ralf, et al.
Publicado: (2017)

Programming languages and systems: 15th Asian symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, proceedings
por: Chang, Bor-Yuh Evan
Publicado: (2017)

Engineering secure software and systems: 9th international symposium, ESSOS 2017, Bonn, Germany, July 3-5, 2017, proceedings
por: Bodden, Eric, et al.
Publicado: (2017)

Model-based safety and assessment: 5th international symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, proceedings
por: Bozzano, Marco, et al.
Publicado: (2017)

String processing and information retrieval: 24th international symposium, SPIRE 2017, Palermo, Italy, September 26-29, 2017, proceedings
por: Fici, Gabriele, et al.
Publicado: (2017)

Search based software engineering: 9th international symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, proceedings
por: Menzies, Tim, et al.
Publicado: (2017)

ISMB/ECCB 2017 proceedings
por: Beerenwinkel, Niko, et al.
Publicado: (2017)

Ubiquitous computing and ambient intelligence: 11th international conference, UCAMI 2017, Philadelphia, PA, USA, November 7-10, 2017, proceedings
por: Ochoa, Sergio F, et al.
Publicado: (2017)

Brain informatics: international conference, BI 2017, Beijing, China, November 16-18, 2017, proceedings
por: Zeng, Yi, et al.
Publicado: (2017)

Dependable software engineering theories, tools, and applications: third international symposium, SETTA 2017, Changsha, China, October 23-25, 2017, proceedings
por: Larsen, Kim Guldstrand, et al.
Publicado: (2017)

Advanced parallel processing technologies: 12th international symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, proceedings
por: Dou, Yong, et al.
Publicado: (2017)

Proceedings of the 2017 WAO Symposium on Hot Topics in Allergy: Pediatric & Regulatory Aspects: Rome, Italy/Vatican City. 27-29 April 2017
por: Traina, Giovanni, et al.
Publicado: (2017)

Advances in neural networks - ISNN 2017: 14th international symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, proceedings, part I
por: Cong, Fengyu, et al.
Publicado: (2017)

Advances in neural networks - ISNN 2017: 14th international symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21-26, 2017, proceedings, part II
por: Cong, Fengyu, et al.
Publicado: (2017)

Correction to: Proceedings of the 16th Annual UT-KBRIN Bioinformatics Summit 2017: proceedings
por: Rouchka, Eric
Publicado: (2017)

Algorithms and data structures: 15th international symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, proceedings
por: Ellen, Faith, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_bsvrdeqn17ogl0c8s9fk11v4u4