arXiv EE and SS
Follow

Correct-by-construction: a contract-based semi-automated requirement decomposition process. (arXiv:1909.02070v1 [eess.SY]) arxiv.org/abs/1909.02070

· · feed2toot · 0 · 0 · 0
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

Resources

Developers

What is Mastodon?

qoto.org

More…