10times
07 - 11 Jun 2021Ended

International Conference on Rigorous State Based Methods

AboutSpeakersExhibitorsReviewsPhotos

Timings

09:00 AM - 06:00 PM
Not Verified

Official Links

Estimated Turnout

upto 100
Delegates
Based on previous editions

Editions

Jun 2021

Frequency

Not Available
Claim event to edit details

The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), .. Read more Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

  • Share your Experience
  • Organizer
Logo Follow Company

Ulm University

19 Total Events / 1 Upcoming Event

More Events From The Organizer

You have no contacts. Please add contacts from below or share on social media

Send to all
No Results