Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fingeraftryk Dyk ned i forskningsemnerne om 'Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab