نتایج جستجو
Linear Model Methodology
Andre I. Khuri, 2009
Formal Methods: Industrial Use from Model to the Code
Jean-Louis Boulanger (ed.), 2012
Formal Methods: Industrial Use from Model to the Code
Jean-Louis Boulanger, 2012
Model-Based Reasoning in Science, Technology, and Medicine
Frank Czerwinski, 2007
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
