|
|
 |
|
|
 |
|
|
|
 |
|
|
|
|
|
|
|
|
|
 |
1. |
25 years of model checking : history, achievements, perspectives ; [papers based on talks at the Symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006), held in Seattle, WA, USA, in August 2006]
Grumberg, Orna. - Berlin : Springer, 2008
|
|
|
|
2. |
New directions in symbolic model checking
D'Orso, Julien. - Uppsala : Univ., 2003
|
|
|
|
3. |
Formal methods in computer-aided design : third international conference, Austin, TX, USA, November 1 - 3, 2000 ; proceedings
Hunt, Warren A.. - Berlin : Springer, 2000
|
|
|
|
4. |
Formal techniques in real-time and fault-tolerant systems : 6th international symposium, Pune, India, September 20 - 22, 2000 ; proceedings
Joseph, Mathai. - Berlin : Springer, 2000
|
|
|
|
5. |
SPIN model checking and software verification : proceedings
Havelund, Klaus. - Berlin : Springer, 2000
|
|
|
|
6. |
Abstract state machines : theory and applications ; international workshop ; proceedings
Gurevich, Yuri. - Berlin : Springer, 2000
|
|
|
|
7. |
Perspectives of system informatics : proceedings
Bjørner, Dines. - Berlin : Springer, 2000
|
|
|
|
8. |
Verification of digital and hybrid systems : [proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26 - June 6, 1997]
İnan, M. Kemal *1942-*. - Berlin : Springer, 2000
|
|
|
|
9. |
Correct hardware design and verification methods : proceedings
Pierre, Laurence. - Berlin : Springer, 1999
|
|
|
|
10. |
Theoretical and practical aspects of SPIN model checking : proceedings
Dams, Dennis. - Berlin : Springer, 1999
|
|
|
|
|
|
|
1 - 10 von 14
  |
|
|
|
|
1 - 10 von 14
|
|
|
|
