Brama: A new graphic animation tool for B models clearsy - 2007 B conference

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4355 LNCS, Issue , 2006, Pages 274-276

  Servat, Thierry ^a  

^a Clearsy System Engineering   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ANIMATION TOOLS; B-MODELS;

ARTIFICIAL INTELLIGENCE;

EID: 84870614376     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11955757_28     Document Type: Conference Paper

References (0)