Author of the publication

Formal Design and Safety Analysis of AIR6110 Wheel Brake System.

, , , , , , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 518-535. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Design and Safety Analysis of AIR6110 Wheel Brake System., , , , , , , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 518-535. Springer, (2015)Statistical analysis for experimental models of ocular disease: continuous response measures, , , and . Curr Eye Res, 4 (5): 585-597 (May 1985)Managerial objectives subject to political market constraints, and . Quarterly Review of Economics and Business, (Summer 1982)XAI for intrusion detection system: comparing explanations based on global and local scope., , , , and . J. Comput. Virol. Hacking Tech., 19 (2): 217-239 (June 2023)Communication media use in emergency response management., and . ISCRAM, ISCRAM Association, (2014)Combinatorial Mathematics V. 622, chapter Counting unlabeled acyclic digraphs, page 28--43. Springer Berlin / Heidelberg, (1977)Lower limb extensor moments in children with spastic diplegic cerebral palsy., , , , and . Gait Posture, 20 (2): 171--176 (October 2004)When the money runs dry: a system dynamics approach to critical infrastructure investment., , , , and . SpringSim (ANSS), page 8. ACM, (2016)Agent-based pedestrian evacuation modeling: a one-size fits all approach?, , , and . SpringSim (ADS), page 9-17. SCS/ACM, (2015)Herringbone bursts associated with type II solar radio emission, and . \solphys, (September 1987)