1.

SAT-based searching for k-quasi-optimal runs in weighted timed automataSAT-based searching for k-quasi-optimal runs in weighted timed automata Find similar objects  |  Add to bibliography

2.

Model checking of Java programs using networks of FADDsModel checking of Java programs using networks of FADDs Find similar objects  |  Add to bibliography

3.

Computer use in the discovery of properties of functions and their proofsComputer use in the discovery of properties of functions and their proofs Find similar objects  |  Add to bibliography

4.

Studencko-Doktorancki Biuletyn NaukowyStudencko-Doktorancki Biuletyn Naukowy Find similar objects  |  Add to bibliography

5.

Evaluation of method for enumerating the most probable packet arrangementsEvaluation of method for enumerating the most probable packet arrangements Find similar objects  |  Add to bibliography

6.

A correction method for projects of system safety from the risk minimization criterionA correction method for projects of system safety from the risk minimization criterion Find similar objects  |  Add to bibliography

7.

Comparing SAT- and SMT- based bounded model checking for ECTL propertiesComparing SAT- and SMT- based bounded model checking for ECTL properties Find similar objects  |  Add to bibliography

8.

Czasopisma NaukoweCzasopisma Naukowe Find similar objects  |  Add to bibliography