General Informatics Section

Research output

  1. Semantic Image Segmentation Methods in the Duckietown Project

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  2. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

View all (10) »

ID: 3440496