没有合适的资源?快使用搜索试试~ 我知道了~
资源推荐
资源详情
资源评论
John Fitzgerald
Constance Heitmeyer
Stefania Gnesi
Anna Philippou
(Eds.)
21st International Symposium
Limassol, Cyprus, November 9–11, 2016
Proceedings
FM 2016:
Formal Methods
LNCS 9995 Formal Methods
123
0dayku.com第时间掌握全球0day资讯
Lecture Notes in Computer Science 9995
Commenced Publication in 1973
Founding and Former Series Editors:
Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
Editorial Board
David Hutchison, UK Takeo Kanade, USA
Josef Kittler, UK Jon M. Kleinberg, USA
Friedemann Mattern, Switzerland John C. Mitchell, USA
Moni Naor, Israel C. Pandu Rangan, India
Bernhard Steffen, Germany Demetri Terzopoulos, USA
Doug Tygar, USA Gerhard Weikum, Germany
Formal Methods
Subline of Lectures Notes in Computer Science
Subline Series Editors
Ana Cavalcanti, University of York, UK
Marie-Claude Gaudel, Université de Paris-Sud, France
Subline Advisory Board
Manfred Broy, TU Munich, Germany
Annabelle McIver, Macquarie University, Sydney, NSW, Australia
Peter Müller, ETH Zurich, Switzerland
Erik de Vink, Eindhoven University of Technology, The Netherlands
Pamela Zave, AT&T Laboratories Research, Bedminster, NJ, USA
John Fitzgerald
•
Constance Heitmeyer
Stefania Gnesi
•
Anna Philippou (Eds.)
FM 2016:
Formal Methods
21st International Symposium
Limassol, Cyprus, November 9–11, 2016
Proceedings
123
Editors
John Fitzgerald
Newcastle University
Newcastle upon Tyne
UK
Constance Heitmeyer
US Naval Research Laboratory
Washington, DC
USA
Stefania Gnesi
ISTI-CNR
Pisa
Italy
Anna Philippou
University of Cyprus
Nicosia
Cyprus
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notes in Computer Science
ISBN 978-3-319-48988-9 ISBN 978-3-319-48989-6 (eBook)
DOI 10.1007/978-3-319-48989-6
Library of Congress Control Number: 2016956000
LNCS Sublibrary: SL2 – Programming and Software Engineering
© Springer International Publishing AG 2016
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now
known or hereafter developed.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication
does not imply, even in the absence of a specific statement, that such names are exempt from the relevant
protective laws and regulations and therefore free for general use.
The publisher, the authors and the editors are safe to assume that the advice and information in this book are
believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissions that may have been made.
Printed on acid-free paper
This Springer imprint is published by Springer Nature
The registered company is Springer International Publishing AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
剩余805页未读,继续阅读
资源评论
ALo54
- 粉丝: 5
- 资源: 111
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功