MPG.eBooks - Search Results - ("notification" OR "certification")

1

Published 2021

Springer International Publishing

“... in this field through the CESAM certification. The CESAM systems architecting & model-based systems engineering...”

2

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... with Time Bound Certifications -- Specification and automatic proof-assistants -- Encoding Temporal Logics...”

3

Published 2003

Springer Netherlands

“... static ‘certificate’ of truth, and an activity which humans or machines engage in. Increasing our...”