Títulos similares: Formal Methods and Software Engineering :
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
- Formal Languages and Compilation /
- Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27–29, 2013 : Revised Selected Papers /
- Compiler Construction : 23rd International Conference, CC 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28-October 3, 2014 : Proceedings /
Tópico: Compiladores (Software)
- Emulación del comportamiento del protocolo c-link de una impresora, utilizando un leguaje de dominio específico /
- The Elements of Computing Systems : Building a Modern Computer from First Principles /
- Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : Proceedings /
- Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30-August 2, 2014 : Proceedings /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /
Tópico: Arquitectura de Software
- Multicore Systems On-Chip : Practical Software/Hardware Design /
- Configuration of Local Interconnect Driver 4.0.3 Based on AUTOSAR Standard /
- Automotive Control Catalyzer to Synthetize CaCO3 from Residual Co2 Embedded Control System /
- Scheduler de sucesión binaria con cambio de contexto /
- Medidor de velocidad de protocolo CAN /
- Software para desarrollo de pruebas para sistemas embebidos utilizando el protocolo CAN /