Jean-Michel Bruel

Identifiers

No identifiers captured yet.

Papers (3)

1. The Anatomy of Requirements cs.SE · 2019 · author #2
2. AutoReq: expressing and verifying requirements for control systems cs.SE · 2017 · author #5
3. A contract-based method to specify stimulus-response requirements cs.SE · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandr Naumchev 3 shared papers
• Bertrand Meyer 3 shared papers
• Florian Galinier 3 shared papers
• Sophie Ebersold 3 shared papers
• Manuel Mazzara 2 shared papers