Titlebook: Software Engineering and Formal Methods; 17th International C Peter Csaba Ölveczky,Gwen Salaün Conference proceedings 2019 Springer Nature

呼吸

Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Man

adj忧郁的

Multi-objective Search for Effective Testing of Cyber-Physical Systems

革新

表两个

expunge

Software Evolution with a Typeful Version Control Systemevelopment environment to help manage the whole code base of an application. This enables the static verification of program evolution steps, based on the correctness of state transformations between related versions, and for the stable coexistence of multiple versions at run-time. We instantiate ou

BILIO

978-3-030-30445-4Springer Nature Switzerland AG 2019

行乞

平淡而无味

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/870814.jpg

Aboveboard

Measured

Relating Session Types and Behavioural Contracts: The Asynchronous Caserving contract refinement. In this way, the recent undecidability result for asynchronous session subtyping can be used to obtain an original undecidability result for asynchronous contract refinement.