Recent developments in FDR
Hlavní autoři: | Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J |
---|---|
Médium: | Conference item |
Vydáno: |
Springer Berlin/Heidelberg
2012
|
Podobné jednotky
-
Recent developments in FDR
Autor: Armstrong, P, a další
Vydáno: (2012) -
Recent developments in FDR
Autor: Armstrong, P, a další
Vydáno: (2012) -
Recent Developments in FDR
Autor: Armstrong, P, a další
Vydáno: (2012) -
Faster FDR Counterexample Generation Using SAT−Solving
Autor: Palikareva, H, a další
Vydáno: (2009) -
FDR2 user manual
Autor: Gardiner, P, a další
Vydáno: (2000)