Benjamin Blanc

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 1

Top Topics

Modeling Method

Top Venues

Publications

Naïm Aber, Benjamin Blanc, Nathalie Ferkane, Mohand Meziani, Julien Ordioni
RBS2HLL - A Formal Modeling of Relay-Based Interlocking. RSSRail (2019)
Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu
Handling State-Machines Specifications with GATeL. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Bruno Marre, Benjamin Blanc
Test Selection Strategies for Lustre Descriptions in GATeL. Electron. Notes Theor. Comput. Sci. 111 (2005)