7

Model checking of pushdown systems for projection temporal logic

Year:
2016
Language:
english
File:
PDF, 851 KB
english, 2016
36

A structural transformation from p-\(\pi \)to MSVL

Year:
2015
Language:
english
File:
PDF, 512 KB
english, 2015
37

Design and testing of a liquid cooled garment for hot environments

Year:
2015
Language:
english
File:
PDF, 2.72 MB
english, 2015
41

Verification of distributed systems with the axiomatic system of MSVL

Year:
2015
Language:
english
File:
PDF, 556 KB
english, 2015