Ergebnisse für: loop invariants

Hier findest Du Bücher, die sich mit loop invariants beschäftigen.

Cyber Physical Systems. Design, Modeling, and Evaluation

Springer International Publishing
53.49 € · eBook

formal methods hybrid systems model checking ontologies symbolic analysis contract-based design cyber-physical systems differential testing formal specification hybrid identification loop invariants model transformation model-based design model-driven engineering ontological reasoning

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.The 9 papers presented in this volume were carefully reviewed and selecte...

Cyber Physical Systems. Design, Modeling, and Evaluation

Springer International Publishing
53.49 € · Paperback

Array
(
    [endpoint] => /products?search=loop+invariants&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001507
    [connect_time] => 0.520063
    [responseLength] => 4718
)