Fingerprint
Dive into the research topics of 'Verifying the interface compliance of federates using pre- and postconditions of RTI services'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verifying the interface compliance of federates using pre- and postconditions of RTI services
Vijdan Kizilay*, Halit Oguztüzün, Okan Topçu, Feza Buzluca
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review