„Formal Methods“

Suchergebnisse

1.421 Treffer

• Security and Trust Management – 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings
  Accorsi, Rafael ; Ranise, Silvio 2014 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
  Pecheur, Charles ; Dierkes, Michael 2014 Springer Berlin Heidelberg
• Theoretical Computer Science – 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
  Díaz, Josep ; Lanese, Ivan ; Sangiorgi, Davide 2014 Springer Berlin Heidelberg
• Cryptography and Security Systems – Third International Conference, CSS 2014, Lublin, Poland, September 22-24, 2014. Proceedings
  Kotulski, Zbigniew ; Ksiezopolski, Bogdan ; Mazur, Katarzyna 2014 Springer Berlin Heidelberg
• From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
  Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
• Trust Management VIII – 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. Proceedings
  Zhou, Jianying ; Gal-Oz, Nurit ; Zhang, Jie ; Gudes, Ehud 2014 Springer Berlin Heidelberg
• Abstract State Machines, Alloy, B, TLA, VDM, and Z – 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
  Ait Ameur, Yamine ; Schewe, Klaus-Dieter 2014 Springer Berlin Heidelberg
• Formal Techniques for Distributed Objects, Components, and Systems – 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings
  Ábrahám, Erika ; Palamidessi, Catuscia 2014 Springer Berlin Heidelberg
• Building Bridges: HCI, Visualization, and Non-formal Modeling – IFIP WG 13.7 Workshops on Human–Computer Interaction and Visualization: 7th HCIVECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected Papers
  2014 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Programming Languages and Systems – 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Shao, Zhong 2014 Springer Berlin Heidelberg
• 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
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
• Trustworthy Global Computing – 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
  Abadi, Martín ; Lluch Lafuente, Alberto 2014 Springer International Publishing
• Formal Methods and Software Engineering – 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
  Groves, Lindsay 2013 Springer Berlin Heidelberg
• Formal Methods for Open Object-Based Distributed Systems – IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
  1999 Springer US
• Software Engineering and Formal Methods – 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Formal Methods for Industrial Critical Systems – 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Security and Trust Management – 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Reachability Problems – 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
  Abdulla, Parosh Aziz ; Potapov, Igor 2013 Springer Berlin Heidelberg