( en | de | ru )

 

Disambiguation of "Leonard, Elizabeth I."

Author of the publication

copydeleteadd this publication to your clipboard
High assurance human-centric decision systems.

, , , , , and . RAISE@ICSE, page 35-41. IEEE Computer Society, (2013)

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.

Elizabeth I Traverse

Nata i i

Leonard Rupp

Leonard Düben

Leonard Lennerts

 

Other publications of authors with the same name

Direct generation of invariants for reactive models., , , and . MEMOCODE, page 119-130. IEEE, (2012)Formal specification and verification of data separation in a separation kernel for an embedded system., , , and . CCS, page 346-355. ACM, (2006)Analyzing Security-Enhanced Linux Policy Specifications., , and . POLICY, page 158-. IEEE Computer Society, (2003)Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation., and . FormaliSE@ICSE, page 54-60. IEEE Computer Society, (2015)An Algebraic Framework for Developing and Maintaining Real-Time Systems., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 338-352. Springer, (1995)Idea: Writing Secure C Programs with SecProve., , and . ESSoS, volume 7781 of Lecture Notes in Computer Science, page 171-180. Springer, (2013)On Model-Based Software Development., , , and . Perspectives on the Future of Software Engineering, page 49-60. Springer, (2013)Modeling Security-Enhanced Linux Policy Specifications for Analysis., , and . DISCEX (2), page 164-169. IEEE Computer Society, (2003)Using invariants to optimize formal specifications before code synthesis., and . MEMOCODE, page 73-82. IEEE Computer Society, (2004)Extended abstract: organizing automaton specifications to achieve faithful representation., and . MEMOCODE, page 245-246. IEEE Computer Society, (2005)