1077 articles – 551 Notices  [english version]
.:. Consultation > Par auteur > Knorreck .:.
1 document
fulltext access TEPE: a SysML language for time-constrained property modeling and formal verification
Knorreck D., Apvrille L., De Saqui-Sannes P.
ACM SIGSOFT Software Engineering Notes 36, 1 (2011) 1-8 [hal-00667841 - version 1]