Login / Signup
A quantitative verification framework of SysML activity diagrams under time constraints.
Abdelhakim Baouya
Djamal Bennouar
Otmane Aït Mohamed
Samir Ouchani
Published in:
Expert Syst. Appl. (2015)
Keyphrases
</>
knowledge management
databases
object oriented