Comparing specification with proved properties of clean dynamics [abstract] /
Elmentve itt :
Szerzők: |
Lövei László Tejfel Máté Mészáros Mónika Horváth Zoltán Kozsik Tamás |
---|---|
Testületi szerző: | Conference of PhD students in computer science (5.) |
Dokumentumtípus: | Könyv része |
Megjelent: |
University of Szeged
Szeged
2006
|
Sorozat: | Conference of PhD Students in Computer Science
5 |
Kulcsszavak: | Számítástechnika - előadáskivonat |
Tárgyszavak: | |
Online Access: | http://acta.bibl.u-szeged.hu/59871 |
Hasonló tételek
-
Proving quality of service constraints of multimedia systems [abstract] /
Szerző: Mészáros Mónika
Megjelent: (2006) -
Control language for distributed clean [abstract] /
Szerző: Hernyák Zoltán, et al.
Megjelent: (2004) -
On the incompleteness of proving partial correctness
Szerző: Gergely Tamás, et al.
Megjelent: (1978) -
An effective theorem proving algorithm
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977) -
On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)