Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Browse the full SEFM paper archive.