„Model-checking“

Suchergebnisse

1.904 Treffer

• Formal modeling and analysis of timed systems – 10th international conference ; proceedings
  Jurdziński, Marcin ; Nickovic, Dejan 2012 Springer
• Model checking mobile ad hoc networks
  Ghassemi, Fatemeh ; Fokkink, Wan
• Formal methods: foundations and applications – 15th Brazilian symposium ; proceedings
  Gheyi, Rohit ; Naumann, David 2012 Springer
• Mathematical Foundations of Computer Science 2012 – 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
  Rovan, Branislav ; Sassone, Vladimiro ; Widmayer, Peter 2012 Springer Berlin Heidelberg
• Definability and model checking – the role of orders and compositionality
  Ganzow, Tobias
• Theoretical aspects of computing – 9th international colloquium ; proceedings
  Roychoudhury, Abhik ; D'Souza, Meenakshi 2012 Springer
• Concurrency theory – 23rd international conference ; proceedings
  Koutny, Maciej ; Ulidowski, Irek 2012 Springer
• Formal methods – 18th international symposium ; proceedings
  Giannakopoulou, Dimitra ; Méry, Dominique 2012 Springer
• Mathematical foundations of computer science 2012 – 37th international symposium ; proceedings
  Rovan, Branislav ; Sassone, Vladimiro ; Widmayer, Peter 2012 Springer
• Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
  Dornes, Tobias 2012 dissertation.de
• Digital-forensics and watermarking – 10th international workshop ; reviesed selected papers
  Shi, Yun Qing 2012 Springer
• Integrated Formal Methods – 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
  Derrick, John ; Gnesi, Stefania ; Latella, Diego ; Treharne, Helen 2012 Springer Berlin Heidelberg
• Communications and information processing
  2012 Springer
• Communications and information processing
  2012 Springer
• Advances in bioinformatics and computational biology – proceedings
  Souto, Marcilio C. P. ˜deœ ; Kann, Maricel G. 2012 Springer
• Formal verification of object-oriented software – international conference ; revised selected papers
  Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian 2012 Springer
• Model checking software – 19th international workshop ; proceedings
  Donaldson, Alastair ; Parker, David 2012 Springer
• Implementation and application of automata – 17th international conference ; proceedings
  Moreira, Nelma ; Reis, Rogério 2012 Springer
• Specification and Analysis of Software Architectures – Modeling of software architectures
  Shi, Tianjun ; He, Xudong 2012 AV Akademikerverlag
• Computer aided verification – 24th international conference ; proceedings
  Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer