21 search results - page 1 / 5 » Model-Checking: A Tutorial Introduction |
SAS
1999
Springer
13 years 9 months ago
1999
Springer
MOVEP
2000
13 years 8 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
AB
2008
Springer
13 years 11 months ago
2008
Springer
114
click to vote
Tutorial
A very detailed and easy to follow tutorial on the EM algorithm.