( en | de | ru )

 

Disambiguation of "Bendisposto, Jens"

Author of the publication

copydeleteadd this publication to your clipboard
BE4: The B Extensible Eclipse Editing Environment

, and . (2006)
DOI: 10.1007/11955757_27

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.

Jens Marco Bendisposto

Ingeborg Jensen

Gerd Jensen

Ute Jensen

Cornelia Jensen

 

Other publications of authors with the same name

Directed Model Checking for B: An Evaluation and New Techniques., and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 1-16. Springer, (2010)A Generic Flash-Based Animation Engine for ProB., and . B, volume 4355 of Lecture Notes in Computer Science, page 266-269. Springer, (2007)Animating and Model Checking B Specifications with Higher-Order Recursive Functions., and . Rigorous Methods for Software Construction and Analysis, volume 06191 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)Generating Event-B Specifications from Algorithm Descriptions., , , , and . ABZ, volume 9675 of Lecture Notes in Computer Science, page 183-197. Springer, (2016)Integrating formal specifications into applications: the ProB Java API., , , , and . Formal Methods Syst. Des., 58 (1-2): 160-187 (2021)Visualising Event-B Models with B-Motion Studio., , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 202-204. Springer, (2009)Validation of the ABZ Landing Gear System Using ProB., , , , and . ABZ (Case Study), volume 433 of Communications in Computer and Information Science, page 66-79. Springer, (2014)BE4: The B Extensible Eclipse Editing Environment., and . B, volume 4355 of Lecture Notes in Computer Science, page 270-273. Springer, (2007)Automatic Flow Analysis for Event-B., and . FASE, volume 6603 of Lecture Notes in Computer Science, page 50-64. Springer, (2011)Proof Assisted Model Checking for B., and . ICFEM, volume 5885 of Lecture Notes in Computer Science, page 504-520. Springer, (2009)