TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
More than 125 records were found in 0.766 seconds
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System
SEKE, 393-396, 2014
Testing Network Protocols: formally, at runtime and online
SEKE, 90-93, 2014
Testing Interoperability Security Policies
SEKE, 464-469, 2012