نتایج جستجو
Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation
Stephan Kleuker (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
Patrice Godefroid (auth.), 2009
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Alessandro Cimatti (auth.), 2010
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Jasmin Fisher (auth.), 2011
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data
Elisa Quintarelli (auth.), 2004
Principles of Model Checking
Christel Baier, 2008
Principles of Model Checking
Christel Baier, 2008
