BRILLANT/BCaml — A Free Tools Platform for the B Method

BRILLANT is a collaborative tool collection associated with the B formal language. The collection is centered around one particular tool known as BCaml. The initial and main purpose of BCaml is the implementation of the B method using recent methodologies, languages and technologies. The most recent...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal Methods Applied to Complex Systems: Implementation of the B Method s. 201 - 210
Hlavní autoři:	Colin, Samuel, Petit, Dorian
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:	B method BCaml BRILLANT communicating sequential processes (CSP)\|\|B
ISBN:	1848217099, 9781848217096
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!