Export 1 results:
Filters: Keyword is Semantics  [Clear All Filters]
2018
Juodisius, P., A. Sarkar, R. Rao Mukkamala, M. Antkiewicz, K. Czarnecki, and A. WÄ…sowski, "Clafer: Lightweight Modeling of Structure and Behaviour", The Art, Science, and Engineering of Programming Journal, vol. 3, issue 1, 07/2018. Package icon PowerWindow example in Clafer (3.45 KB)Package icon PowerWindow example in AADL (12.36 KB)Package icon PowerWindow example in Live Sequence Charts (51.75 KB)Package icon PowerWindow example in SysML (413.76 KB)Package icon PowerWindow example in Temporal OCL (9.27 KB)

WISE Lab logo

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.