Springer电子图书(34)
CNKI学位论文(179)
知网期刊论文(10)
在“
Springer电子图书
”中，
命中：
34
条，耗时：小于0.01 秒
在所有数据库中总计命中：
223
条
1.
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
2.
Does It Pay to Extend the Perimeter of a World Model?
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
3.
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
4.
Using Debuggers to Understand Failed Verification Attempts
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
5.
<span style="font-variant:small-caps"><small>TraceContract</small></span>: A Scala DSL for Trace Analysis
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
6.
The Only Way Is Up
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
7.
Some Thoughts on Behavioral Programming
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
8.
Model Integration and Cyber Physical Systems: A Semantics Perspective
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
9.
Sampling-Based Runtime Verification
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
10.
On Combining State Space Reductions with Global Fairness Assumptions
ContentType：Book Chapter
Publisher：
Springer Berlin / Heidelberg
Author：
Michael Butler
;
Wolfram
Schulte
1
2
3
4
按检索点细分(34)
Author(34)