-
Requirements elicitation and specification
Colloque sur invitation. -
Les indéfinis dans les classes lexicales du français
International audience -
Specifying Interactions in Cooperative Applications
Colloque avec actes et comité de lecture. -
Formal modelling of services for getting a better understanding of the featur...
Colloque avec actes et comité de lecture. -
Study of implementation of ERTMS with respect to French national rules using ...
Interoperability of the rail system within Europe is a key to its competitiveness. It aims at creating a rail network allowing a transport that is safe, compliant with... -
D6.2 Requirement specifications for an integrated maintenance platform
Rapport de contrat. -
Layout of a specification guide
Manuel technique. -
Requirements Modeling Methodology Based On Knowledge Engineering: A Case Stud...
The complexity of the verification and the validation of embedded systems is increasing. This paper explores the first requirements engineering processes in the... -
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Colloque avec actes et comité de lecture. internationale. -
On the Logic of TLA+
Article dans revue scientifique avec comité de lecture. internationale. -
Formal modelling methodology of French railway interlocking system via HCPN
ERTMS implementation in France =>ERTMS for on board + national trackside). Problem: hard to evaluate the whole system regarding safety requirements. Ordinary method... -
Rule-based Programs describing Internet Security Protocols
RWTH Aachen Technical Report AIB-2004-04. Colloque avec actes et comité de lecture. Internationale.
