A
Menu
June 01, 2014 conference-paper

Modeling of real-time embedded systems using SysML and its verification using UPPAAL and DiVinE

IEEE International Conference on Software Engineering and Service Science (ICSESS)

DOI: 10.1109/icsess.2014.6933529 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 16

1 result

References 0