B Formal Method Users Group (BUG)
Contact DetailsAvailable with paid subscription only.
1994-10 Paris France
Oct 1994, Paris (France), by the French National Institute for Transport and Safety Research (INRETS).
Function as a discussion group on aspects of computer system specification and development using the B-method, ie the BUG mailing list, mainly in the light of current usage of the formal B-Method in France for development of safety-critical software for railway systems, but open to anyone with a research, teaching or industrial interest in B; initiate a standardization process for the B method.
Events1 past events available with paid subscription only.
ActivitiesAvailable with paid subscription only.
LanguagesAvailable with paid subscription only.
Relations with Non-Governmental OrganizationsAvailable with paid subscription only.
PublicationsAvailable with paid subscription only.
MembersAvailable with paid subscription only.
Type I ClassificationAvailable with paid subscription only.
Type II ClassificationAvailable with paid subscription only.
Subjects *Available with paid subscription only.
UN Sustainable Development Goals **
UIA Org ID
** UN SDGs are linked to the subject classification.
← return to your search page to find additional profiles.
UIA allows users to access and make use of the information contained in its Databases for the user’s internal use and evaluation purposes only. A user may not re-package, compile, re-distribute or re-use any or all of the UIA Databases or the data* contained therein without prior permission from the UIA.
Data from database resources may not be extracted or downloaded in bulk using automated scripts or other external software tools not provided within the database resources themselves. If your research project or use of a database resource will involve the extraction of large amounts of text or data from a database resource, please contact us for a customized solution.
UIA reserves the right to block access for abusive use of the Database.
* Data shall mean any data and information available in the Database including but not limited to: raw data, numbers, images, names and contact information, logos, text, keywords, and links.