„checking“

Suchergebnisse

2.968 Treffer

• Implementation and Application of Automata – 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
  Konstantinidis, Stavros 2013 Springer Berlin Heidelberg
• Computer Aided Verification – 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Hardware and Software: Verification and Testing – 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Human-Computer Interaction and Knowledge Discovery in Complex, Unstructured, Big Data – Third International Workshop, HCI-KDD 2013, Held at SouthCHI 2013, Maribor, Slovenia, July 1-3, 2013. Proceedings
  Holzinger, Andreas ; Pasi, Gabriella 2013 Springer Berlin Heidelberg
• Application and Theory of Petri Nets and Concurrency – 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
  Colom, José-Manuel ; Desel, Jörg 2013 Springer Berlin Heidelberg
• Embedded Systems: Design, Analysis and Verification – 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
  Schirner, Gunar ; Götz, Marcelo ; Rettberg, Achim ; Zanella, Mauro C. ; Rammig, Franz Josef 2013 Springer Berlin Heidelberg
• Formal Methods for Dynamical Systems – 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
  Bernardo, Marco ; de Vink, Erik ; Di Pierro, Alessandra ; Wiklicky, Herbert 2013 Springer Berlin Heidelberg
• Tests and Proofs – 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  Veanes, Margus ; Viganò, Luca 2013 Springer Berlin Heidelberg
• Model Checking Software – 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
  Bartocci, Ezio ; Ramakrishnan, C. R. 2013 Springer Berlin Heidelberg
• Formal Techniques for Distributed Systems – Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings
  Beyer, Dirk ; Boreale, Michele 2013 Springer Berlin Heidelberg
• NASA Formal Methods – 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
  Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud 2013 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings
  Davies, Jim 2004 Springer Berlin Heidelberg
• Recent Trends in Algebraic Development Techniques – 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
  Martí-Oliet, Narciso ; Palomino, Miguel 2013 Springer Berlin Heidelberg
• Language and Automata Theory and Applications – 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings
  Dediu, Adrian-Horia ; Martín-Vide, Carlos ; Truthe, Bianca 2013 Springer Berlin Heidelberg
• Tools and Algorithms for the Construction and Analysis of Systems – 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Piterman, Nir ; Smolka, Scott 2013 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Cortellessa, Vittorio ; Varró, Dániel 2013 Springer Berlin Heidelberg
• Programming Languages and Systems – 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer Berlin Heidelberg
• Programming Languages and Systems – 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings
  Jhala, Ranjit ; Igarashi, Atsushi 2012 Springer Berlin Heidelberg
• Mathematical and Engineering Methods in Computer Science – 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
  Kučera, Antonín ; Henzinger, Thomas ; Nešetril, Jaroslav ; Vojnar, Tomas ; Antoš, David 2013 Springer Berlin Heidelberg
• Assurances for Self-Adaptive Systems – Principles, Models, and Techniques
  Cámara, Javier ; Lemos, Rogério ˜deœ ; Ghezzi, Carlo ; Lopes, Antonia 2013 Springer Berlin Heidelberg