Johannes Dyck

Inductive invariant checking with partial negative application conditions

Uitverkocht

Johannes Dyck Inductive invariant checking with partial negative application conditions

4,3

Automatic verification of behavior preservation at the transformation level for relational model transformation

Uitverkocht

Johannes Dyck Automatic verification of behavior preservation at the transformation level for relational model transformation

4,3

K-inductive invariant checking for graph transformation systems

Uitverkocht

Johannes Dyck K-inductive invariant checking for graph transformation systems

4,3

U kolybeli bratstva

Uitverkocht

Johannes Dyck U kolybeli bratstva

4,3