WikiDer > APCB
В APCB (Association de Pilotage des Conférences B, или на английском Руководящий комитет Международной конференции B) организует конференции о B-метод, один из ведущих формальные методы, используется в высоконадежных программная инженерия.
Он организовал B встреч и конференций. С 2000 года они стали Конференцией ZB (совместно с Обозначение Z, организованная совместно с Группа пользователей Z), а с 2008 г. - конференция ABZ (с Абстрактные государственные машины также). В 2010 году конференция ABZ[1] также включены Сплав.
Смотрите также
Рекомендации
- ^ Frappier, M., Glässer, U .; , Хуршид, С., Лалеу, Р., и Ривз, С. (ред.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22–25 февраля 2010 г., Труды, Springer-Verlag, Конспект лекций по информатике, Том 5977, 2010. ISBN 978-3-642-11810-4.
внешняя ссылка
Эта статья об организации во Франции заглушка. Вы можете помочь Википедии расширяя это. |