FME '94: Industrial Benefit of Formal Methods
1994; Springer Science+Business Media; Linguagem: Inglês
10.1007/3-540-58555-9
ISSN1611-3349
AutoresGerhard Goos, Juris Hartmanis, Jan Van Leenwen, Maurice Naftalin, Tim Denvir, Miquel Bertran, Gerhard Barth, Richard Bosworth, Jacob Brunekreef, Zhou Chaochen, Hanne Christensen, B. Stanley Cohen, Roger Duke, René Elmstrøm, Ming Fang, Peter Froome, John Fitzgerald, S. J. Goldsack, Jan Goosenaerts, Anthony E. Hall, Melanie Harper, Jan Haveman, Zo Hellinger, Hans-Martin Hsrcher, Simon Hughes, A Jammel, Kurt Jensen, Steven Klusener, Bernd Krieg-Brückner, B. Labaw, Seren Larsen, Clive Lee, Peter Lindsay, Junbo Liu, Martin Loomes, Michedl Mac, Airchinnigh Tom, Maibaum Kees, Middelburg Mikk, M Muller-Olin, Ray Nickson, J. A. F. Nicholls, Jan Peleška, Kees Pronk, Wolfgang Reisig, Gordon Rose, Mark Saaltink, P.N. Scharbach, Roger Shaw, F. Simon, Jens Ulrik, Skakkebaek Snelting, Ib Holm Sørensen, P Stroop, Werner Struckmann, Muffy Thomas, David Till, Hans Tonino, Owen Traynor, Mark Utting, Peter Van Eijk, J. van Katwijk, Burghard von Karger, Frans Ververs, Florian Vogt, Bill Young, Wolf Zimmermann, Rita Cássia S A Barros,
Tópico(s)Manufacturing Process and Optimization
ResumoThis volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage rep
Referência(s)