Font Size:
a
A
A
Keyword [Maude]
Result: 1 - 10 | Page: 1 of 1
1.
On The Model Checking Of SN P Systems Based On Rewriting Logic
2.
The Formal Analysis Of Security Protocols Based On Maude
3.
Formal Analysis For Train Control System Based On Runtime Verification
4.
Mechanical Approach To The Semantics Of PTSC
5.
Animating The Linking Of BPEL Semantics
6.
The Architecture And Model Method Of Cyber-Physical System Based On SOA
7.
Formal Modeling And Verification Of AADL Thread Component Using Real-Time Maude
8.
Formal Modeling And Verification Of PKMv3 Protocol Using Maude
9.
Science in a bottle: The medical museum in North America, 1860--1940 (Maude Abbott)
10.
Design And Formal Verification Of An Effective Replicated Transaction System
<<First
<Prev Next>
Last>>
Jump to
