Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/APCB> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- APCB abstract "The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well). In 2010, the ABZ conference also included Alloy.".
- APCB wikiPageExternalLink www.abzconference.org.
- APCB wikiPageExternalLink apcb.
- APCB wikiPageID "20781023".
- APCB wikiPageLength "1408".
- APCB wikiPageOutDegree "12".
- APCB wikiPageRevisionID "536356171".
- APCB wikiPageWikiLink Abstract_state_machines.
- APCB wikiPageWikiLink Alloy_(specification_language).
- APCB wikiPageWikiLink B-Method.
- APCB wikiPageWikiLink Category:Formal_methods_organizations.
- APCB wikiPageWikiLink Category:Organizations_based_in_France.
- APCB wikiPageWikiLink Category:User_groups.
- APCB wikiPageWikiLink Formal_Methods_Europe.
- APCB wikiPageWikiLink Formal_methods.
- APCB wikiPageWikiLink Software_engineering.
- APCB wikiPageWikiLink Z_User_Group.
- APCB wikiPageWikiLink Z_notation.
- APCB wikiPageWikiLinkText "APCB".
- APCB wikiPageUsesTemplate Template:France-org-stub.
- APCB wikiPageUsesTemplate Template:Reflist.
- APCB subject Category:Formal_methods_organizations.
- APCB subject Category:Organizations_based_in_France.
- APCB subject Category:User_groups.
- APCB type Group.
- APCB type Group.
- APCB type Method.
- APCB type Organization.
- APCB type Organization.
- APCB comment "The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well).".
- APCB label "APCB".
- APCB sameAs Q4653247.
- APCB sameAs m.053s_52.
- APCB sameAs Q4653247.
- APCB wasDerivedFrom APCB?oldid=536356171.
- APCB isPrimaryTopicOf APCB.