Recent developments in FDR
Κύριοι συγγραφείς: | Armstrong, P, Goldsmith, M, Lowe, G, Ouaknine, J, Palikareva, H, Roscoe, A, Worrell, J |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Springer Berlin/Heidelberg
2012
|
Παρόμοια τεκμήρια
-
Recent developments in FDR
ανά: Armstrong, P, κ.ά.
Έκδοση: (2012) -
Recent developments in FDR
ανά: Armstrong, P, κ.ά.
Έκδοση: (2012) -
Recent Developments in FDR
ανά: Armstrong, P, κ.ά.
Έκδοση: (2012) -
Faster FDR Counterexample Generation Using SAT−Solving
ανά: Palikareva, H, κ.ά.
Έκδοση: (2009) -
FDR2 user manual
ανά: Gardiner, P, κ.ά.
Έκδοση: (2000)