在“SpringerLink电子期刊”中，命中：114条，耗时：小于0.01 秒

在所有数据库中总计命中：1,516条

1. Code generation for Event-B
刊名：International Journal on Software Tools for Technology Transfer
出版年：2017
3. EventB2Java: A Code Generator for Event-B
刊名：Lecture Notes in Computer Science
出版年：2016
4. Specifying and Verifying Advanced Control Features
刊名：Lecture Notes in Computer Science
出版年：2016
8. Dynamic Frames Based Verification Method for Concurrent Java Programs
刊名：Lecture Notes in Computer Science
出版年：2016
9. Formal Specification with the Java Modeling Language
刊名：Lecture Notes in Computer Science
出版年：2016
10. From Specification to Proof Obligations
刊名：Lecture Notes in Computer Science
出版年：2016
1
2
3
4
5
6
7
8
9
按检索点细分(114)
题名(44)
作者(4)
关键词(15)
文摘(102)
按出版年细分(114)
2017年(1)
2016年(10)
2015年(1)
2014年(6)
2013年(7)
2012年(5)
2011年(2)
2010年(9)
2009年(8)
2008年(8)
2007年(17)
2006年(14)
2005年(22)
2003年(2)
2002年(1)
2001年(1)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.