May Haydar | A Formal Framework For Run-time Verification Of Web

A Formal Framework For Run-time Verification Of Web Applications An

Automata Based Formal Approach For Verification Of Web Service

Mechanical Verification Of Parameterized Real-time Systems A Formal

Development And Formal Verification Of Ttcan Time-triggered Controller

Formal Verification Of Communication Protocols For Wireless Networks A

Tim Berners-lee (u. A.) | A Framework For Web Science | Taschenbuch |

Development Of A Formal Framework For Usable Operations Support In

Nicholas Ikhu-omoregbe | Development Of A Formal Framework For

Danapaquiame N. | Automata Based Formal Approach For Verification Of

An Adaptive Framework For Run-time Group-based Communication 3109

Paul Okanda | An Adaptive Framework For Run-time Group-based

Formal Verification Of Simulink/stateflow Diagrams A Deductive

Scalable Techniques For Formal Verification 2832

Hardware Accelerated Functional Verification Framework For

Iakov Dalinger | Formal Verification Of A Processor With Memory